:root{--set-a:#4a90d9;--set-a-light:#4a90d940;--set-b:#e85d75;--set-b-light:#e85d7540;--intersection:#8b5cf6;--intersection-light:#8b5cf64d;--highlight:#f59e0b;--highlight-fill:#f59e0b73;--highlight-stroke:#d97706;--accent-green:#10b981;--accent-green-bg:#10b98114;--slide-dark:#1e293b;--slide-text:#334155;--slide-text-muted:#64748b;--slide-surface:#fff;--slide-surface-alt:#f8fafc;--slide-bg:#f1f5f9;--slide-border:#e2e8f0;--slide-primary:#4a90d9;--slide-primary-bg:#4a90d914}.slides{padding:var(--space-sm) 0;background:#cbd5e1}.slide{width:100%;max-width:1440px;min-height:600px;margin:0 auto var(--space-sm);background:var(--slide-bg);flex-direction:column;padding:clamp(24px,4vw,48px) clamp(20px,5vw,72px);animation:.3s ease-out both fadeInUp;display:flex;position:relative;overflow:hidden}.slide-number{top:var(--space-lg);font-family:var(--font-mono);color:var(--slide-text-muted);letter-spacing:1px;font-size:13px;font-weight:600;position:absolute;right:clamp(20px,5vw,72px)}.slide.cover{background:linear-gradient(135deg, var(--bg-dark) 0%, #2d1b69 50%, var(--color-primary-dark) 100%);color:#fff;text-align:center;justify-content:center;align-items:center;min-height:500px}.cover-content{z-index:2;position:relative}.cover-title{font-family:var(--font-display);font-size:var(--text-3xl);margin-bottom:var(--space-md);font-weight:700;line-height:1.1}.cover-subtitle{font-family:var(--font-body);font-size:var(--text-lg);color:#fff9;margin-bottom:var(--space-xl)}.cover-lang-bar{flex-wrap:wrap;justify-content:center;gap:10px;display:flex}.cover-lang-bar a,.cover-lang-bar span{font-family:var(--font-mono);border-radius:var(--radius-sm);transition:background var(--duration-fast);padding:6px 14px;font-size:13px;font-weight:600;text-decoration:none}.cover-lang-bar span{background:var(--color-highlight);color:var(--bg-dark)}.cover-lang-bar a{color:#fff9;background:#ffffff1a}.cover-lang-bar a:hover{color:#fff;background:#fff3}.cover-lang-bar a:active{transition:transform .1s;transform:scale(.97)}.cover-accent{pointer-events:none;background:linear-gradient(160deg,#0000 0%,#6c3ce11f 100%);width:40%;position:absolute;top:0;bottom:0;right:0}.cover-line{background:linear-gradient(90deg, var(--color-primary), var(--color-accent), transparent);pointer-events:none;width:100%;height:4px;position:absolute;bottom:0;left:0}.cover-footer{font-family:var(--font-body);font-size:var(--text-sm);color:#ffffff4d;margin-top:var(--space-2xl)}.slide-tag{font-family:var(--font-mono);font-size:var(--text-xs);letter-spacing:2px;text-transform:uppercase;color:var(--color-primary);margin-bottom:var(--space-sm);font-weight:600}.slide-title{font-family:var(--font-display);font-size:var(--text-xl);color:var(--slide-dark);margin-bottom:6px;font-weight:700;line-height:1.2}.slide-subtitle{font-family:var(--font-body);font-size:var(--text-base);color:var(--slide-text-muted);max-width:900px;margin-bottom:var(--space-sm);line-height:1.5}.intro-content{gap:var(--space-lg);margin-top:var(--space-xl);flex-direction:column;flex:1;display:flex}.intro-content p{font-family:var(--font-body);font-size:var(--text-base);color:var(--slide-text);line-height:1.75}.intro-content code{font-family:var(--font-mono);font-size:var(--text-sm);color:var(--color-primary);background:#6c3ce11a;border-radius:4px;padding:2px 8px}.example-header{background:var(--slide-surface);border:1px solid var(--slide-border);border-radius:var(--radius-md);padding:var(--space-lg);margin-top:var(--space-lg);gap:var(--space-2xl);flex-wrap:wrap;align-items:center;display:flex}.example-header .set-def{font-family:var(--font-mono);font-size:var(--text-sm);color:var(--slide-text);line-height:1.8}.example-header .set-def .set-label{color:var(--set-a);font-weight:700}.example-header .set-def .set-label-b{color:var(--set-b);font-weight:700}.example-header .set-def .universe-label{color:var(--slide-dark);font-weight:700}.ops-grid{gap:var(--space-lg);margin-top:var(--space-lg);flex:1;grid-template-columns:1fr 1fr;align-content:start;display:grid}.ops-grid.single{grid-template-columns:1fr;max-width:700px}.op-card{background:var(--slide-surface);border:1px solid var(--slide-border);border-radius:var(--radius-lg);padding:var(--space-lg);gap:var(--space-md);flex-direction:column;display:flex}.op-card-header{align-items:center;gap:var(--space-md);display:flex}.op-symbol{font-family:var(--font-mono);font-size:var(--text-lg);color:var(--slide-dark);white-space:nowrap;font-weight:700}.op-name{font-family:var(--font-body);font-size:var(--text-sm);color:var(--slide-text-muted);font-weight:500}.op-venn{justify-content:center;align-items:center;display:flex}.op-venn svg{border-radius:var(--radius-sm);max-width:100%;height:auto}.op-result{font-family:var(--font-mono);color:var(--slide-dark);padding:6px var(--space-md);border-radius:var(--radius-sm);background:#f59e0b1a;border:1px solid #f59e0b40;font-size:13px;line-height:1.5;overflow-x:auto}.op-explanation{font-family:var(--font-body);font-size:var(--text-sm);color:var(--slide-text);line-height:1.5}.op-software{font-family:var(--font-body);color:var(--slide-text-muted);background:var(--accent-green-bg);border-left:3px solid var(--accent-green);border-radius:0 var(--radius-sm) var(--radius-sm) 0;padding:var(--space-sm) var(--space-md);font-size:13px;font-style:italic;line-height:1.4}.op-software:before{content:"💻 "}.code-block{background:var(--slide-dark);border-radius:var(--radius-md);padding:var(--space-md) var(--space-lg);flex:1;margin-top:6px;overflow:hidden}.code-block pre{font-family:var(--font-mono);font-size:var(--text-xs);color:#e2e8f0;white-space:pre;margin:0;line-height:1.5;overflow-x:auto}.code-block .comment{color:#6b7280;font-style:italic}.code-block .keyword{color:#7dd3fc}.code-block .type{color:#a5b4fc}.code-block .string{color:#86efac}.code-block .number{color:#fcd34d}.code-block .method{color:#f9a8d4}.code-block .annotation{color:#fca5a5}.code-block .output{color:#94a3b8;background:#ffffff0d;border-radius:3px;padding:0 6px;display:inline-block}.code-file-label{font-family:var(--font-mono);color:#94a3b8;padding:var(--space-xs) var(--space-md);border-radius:var(--radius-sm) var(--radius-sm) 0 0;z-index:1;background:#0f172a;margin-bottom:-1px;font-size:11px;font-weight:600;display:inline-block;position:relative}.summary-table-wrapper{margin-top:var(--space-lg)}.summary-table{border-collapse:separate;border-spacing:0;background:var(--slide-surface);border-radius:var(--radius-md);border:1px solid var(--slide-border);table-layout:auto;width:100%;overflow:hidden}.summary-table thead th{font-family:var(--font-mono);letter-spacing:1px;text-transform:uppercase;color:var(--slide-text-muted);padding:var(--space-sm) var(--space-sm);text-align:left;background:var(--slide-surface-alt);border-bottom:1px solid var(--slide-border);white-space:nowrap;font-size:.6875rem;font-weight:700}.summary-table tbody td{font-family:var(--font-body);font-size:var(--text-sm);color:var(--slide-text);padding:var(--space-sm) var(--space-sm);border-bottom:1px solid var(--slide-border)}.summary-table tbody tr:last-child td{border-bottom:none}.summary-table .symbol-cell{font-family:var(--font-mono);color:var(--color-primary);font-weight:700;font-size:var(--text-base);white-space:nowrap}.slide.footer-slide{background:linear-gradient(135deg, var(--bg-dark) 0%, #2d1b69 100%);color:#fff;text-align:center;justify-content:center;align-items:center}.footer-content{align-items:center;gap:var(--space-lg);flex-direction:column;display:flex}.footer-title{font-family:var(--font-display);font-size:var(--text-2xl);font-weight:700}.footer-sub{font-family:var(--font-body);font-size:var(--text-base);color:#ffffff80}.footer-divider{background:linear-gradient(90deg, var(--color-primary), var(--color-accent));border-radius:2px;width:60px;height:4px}.slide:not(.cover):not(.footer-slide){padding-bottom:clamp(48px,5vw,72px)}.slide:not(.cover):not(.footer-slide):after{content:attr(data-footer);font-family:var(--font-body);font-size:var(--text-xs);color:var(--slide-text-muted);opacity:.5;text-align:center;pointer-events:none;position:absolute;bottom:clamp(16px,2vw,24px);left:clamp(20px,5vw,72px);right:clamp(20px,5vw,72px)}.disclaimer-content{justify-content:center;align-items:center;gap:var(--space-lg);flex-direction:column;flex:1;max-width:1100px;margin:0 auto;display:flex}.disclaimer-title{font-family:var(--font-display);color:var(--slide-dark);text-align:center;font-size:clamp(24px,3vw,36px);font-weight:700}.disclaimer-items{gap:var(--space-md);flex-direction:column;width:100%;display:flex}.disclaimer-item{gap:var(--space-md);border:1px solid #f59e0b40;border-left:4px solid var(--color-accent);border-radius:0 var(--radius-md) var(--radius-md) 0;padding:var(--space-lg);background:#f59e0b14;align-items:flex-start;display:flex}.disclaimer-item-text{font-family:var(--font-body);font-size:var(--text-base);color:var(--slide-text);line-height:1.6}.disclaimer-feedback{gap:var(--space-sm);background:var(--slide-surface);border:1px solid var(--slide-border);border-left:4px solid var(--accent-green);border-radius:0 var(--radius-md) var(--radius-md) 0;width:100%;padding:var(--space-lg);flex-direction:column;display:flex}.disclaimer-feedback-label{font-family:var(--font-body);color:var(--slide-dark);font-size:18px;font-weight:600}.disclaimer-feedback-text{font-family:var(--font-body);font-size:var(--text-base);color:var(--slide-text);line-height:1.6}.disclaimer-feedback-link{font-family:var(--font-mono);font-size:var(--text-sm);color:var(--color-primary);margin-top:6px;font-weight:600}.toc-list{gap:var(--space-md);margin-top:var(--space-lg);flex-direction:column;flex:1;justify-content:center;max-width:900px;display:flex}.toc-item{align-items:center;gap:var(--space-lg);padding:var(--space-sm) var(--space-sm);border:none;border-bottom:1px dashed var(--slide-border);cursor:pointer;text-align:left;border-radius:var(--radius-sm);width:100%;transition:background var(--duration-fast) var(--ease-out);background:0 0;display:flex}.toc-item:hover{background:var(--slide-primary-bg)}.toc-item:active{background:#6c3ce11f}.toc-num{font-family:var(--font-mono);font-size:var(--text-xl);color:var(--color-primary);text-align:right;min-width:48px;font-weight:800}.toc-title{font-family:var(--font-display);font-size:var(--text-lg);color:var(--slide-dark);font-weight:600}.exercises-list{gap:var(--space-sm);margin-top:var(--space-md);flex-direction:column;flex:1;display:flex}.exercise-card{gap:var(--space-md);background:var(--slide-surface);border:1px solid var(--slide-border);border-radius:var(--radius-md);padding:var(--space-md) var(--space-lg);align-items:flex-start;display:flex}.exercise-num{font-family:var(--font-mono);font-size:var(--text-base);color:var(--color-primary);min-width:28px;font-weight:800}.exercise-question{font-family:var(--font-body);font-size:var(--text-sm);color:var(--slide-dark);margin-bottom:var(--space-xs);font-weight:600}.exercise-hint{font-family:var(--font-body);font-size:var(--text-xs);color:var(--slide-text-muted);font-style:italic}.answers-grid{gap:var(--space-sm);margin-top:var(--space-md);flex-direction:column;flex:1;align-content:start;display:flex}.answer-card{gap:var(--space-md);background:var(--slide-surface);border:1px solid var(--slide-border);border-radius:var(--radius-sm);padding:var(--space-sm) var(--space-md);align-items:flex-start;display:flex}.answer-num{font-family:var(--font-mono);font-size:var(--text-sm);color:var(--color-primary);min-width:24px;font-weight:800}.answer-value{font-family:var(--font-mono);font-size:var(--text-xs);color:var(--slide-dark);font-weight:600}.answer-explanation{font-family:var(--font-body);color:var(--slide-text-muted);margin-top:2px;font-size:11px}.references-list{gap:var(--space-sm);margin-top:var(--space-md);flex-direction:column;flex:1;display:flex}.reference-card{gap:var(--space-md);background:var(--slide-surface);border:1px solid var(--slide-border);border-radius:var(--radius-md);padding:var(--space-md) var(--space-lg);transition:border-color var(--duration-normal) var(--ease-out), box-shadow var(--duration-normal) var(--ease-out), transform var(--duration-normal) var(--ease-out);align-items:flex-start;display:flex}.reference-card:hover{border-color:var(--color-primary);transform:translateY(-2px);box-shadow:0 2px 8px #6c3ce11f}.reference-num{font-family:var(--font-mono);font-size:var(--text-sm);color:var(--color-primary);min-width:24px;font-weight:700}.reference-title{font-family:var(--font-body);font-size:var(--text-sm);color:var(--slide-dark);margin-bottom:2px;font-weight:600}.reference-desc{font-family:var(--font-body);font-size:var(--text-xs);color:var(--slide-text-muted);margin-bottom:var(--space-xs)}.reference-url-row{align-items:center;gap:var(--space-xs);display:flex}.reference-url{font-family:var(--font-mono);color:var(--color-primary);word-break:break-all;transition:color var(--duration-fast) var(--ease-out);font-size:11px;text-decoration:none}.reference-url:hover{color:var(--color-primary-dark);text-decoration:underline}.reference-accessed{font-family:var(--font-body);font-size:var(--text-xs);color:var(--slide-text-muted);margin-top:2px}.diagram-container{padding:var(--space-md) 0;flex:1;justify-content:center;align-items:center;display:flex}.diagram-container svg{border-radius:var(--radius-sm);max-width:100%;height:auto}.diagram-caption{font-family:var(--font-body);font-size:var(--text-sm);color:var(--slide-text-muted);text-align:center;margin-top:var(--space-sm);font-style:italic}.code-slides-container{gap:var(--space-xs);flex-direction:column;flex:1;display:flex;overflow:hidden}.code-slide-block{flex-direction:column;flex:1;min-height:0;display:flex}.code-slide-block .code-block{flex:1;overflow:auto}@media (max-width:1024px){.ops-grid{grid-template-columns:1fr}}@media (max-width:768px){.slide{min-height:auto;padding:var(--space-lg) var(--space-md)}.slide-number{top:var(--space-md);right:var(--space-md)}.example-header{gap:var(--space-md);flex-direction:column}.op-card-header{flex-wrap:wrap}.op-symbol{font-size:var(--text-base)}.op-name{font-size:var(--text-xs)}.toc-item{gap:var(--space-sm)}.toc-num{font-size:var(--text-base);min-width:28px}.toc-title{font-size:var(--text-sm)}.exercise-card,.reference-card{gap:var(--space-sm);flex-direction:column}}.toc-fab{bottom:var(--space-lg);right:var(--space-lg);border-radius:var(--radius-full);background:var(--color-primary);color:#fff;cursor:pointer;z-index:100;width:48px;height:48px;transition:transform var(--duration-slow) var(--ease-out), box-shadow var(--duration-fast) var(--ease-out), opacity var(--duration-slow) var(--ease-out);border:none;justify-content:center;align-items:center;display:flex;position:fixed;box-shadow:0 4px 16px #6c3ce166}.toc-fab.visible{opacity:1;transform:translateY(0)}.toc-fab.hidden{opacity:0;pointer-events:none;transform:translateY(12px)}.toc-fab:hover{transform:scale(1.08);box-shadow:0 6px 20px #6c3ce180}.toc-fab:active{transform:scale(.95)}html{scroll-behavior:smooth}@media print{.slide{page-break-after:always;box-shadow:none;margin:0}}