:root{--ink: #1a1a1a;--ink-soft: #5c5853;--ink-faint: #6b655d;--ink-ghost: #9a938c;--paper: #fdfcfa;--parchment: #f7f5f0;--parchment-deep: #f1eee7;--rule: #e0dad0;--rule-soft: #e8e2d8;--accent: #8c1515;--accent-deep: #820000;--accent-bright: #b1040e;--accent-muted: #c58a8a;--accent-wash: #f6e9e8;--verified: #2f6b46;--verified-wash: #e4efe6;--axiom: #b45309;--axiom-wash: #fbe3c4;--sorry: #a33333;--sorry-wash: #f6d6d6;--warning: #c99806;--lean: #35507a;--lean-wash: #edf1f6;--lean-line: #a9b9ce;--fs-2xs: .72rem;--fs-xs: .78rem;--fs-sm: .85rem;--fs-body-s: .95rem;--fs-body: 1rem;--fs-md: 1.15rem;--fs-lg: 1.35rem;--fs-xl: 2rem;--fs-hero: 2.4rem;--sp-1: .25rem;--sp-2: .5rem;--sp-3: .75rem;--sp-4: 1rem;--sp-6: 1.5rem;--sp-8: 2rem;--sp-12: 3rem;--sp-16: 4rem;--r-badge: 3px;--r-card: 6px;--r-frame: 8px;--r-pill: 999px}:where(a,button,summary,input,[tabindex]):focus-visible{outline:2px solid var(--lean);outline-offset:2px;border-radius:2px}@media(prefers-reduced-motion:reduce){*,*:before,*:after{transition-duration:.001ms!important;animation-duration:.001ms!important}}@font-face{font-family:JuliaMono;src:url(https://cdn.jsdelivr.net/gh/cormullion/juliamono@master/webfonts/JuliaMono-Regular.woff2) format("woff2");font-weight:400;font-style:normal;font-display:swap}@font-face{font-family:JuliaMono;src:url(https://cdn.jsdelivr.net/gh/cormullion/juliamono@master/webfonts/JuliaMono-Bold.woff2) format("woff2");font-weight:700;font-style:normal;font-display:swap}:root{--code-font: "JuliaMono", ui-monospace, "SF Mono", Menlo, Consolas, monospace}html{height:100%}.deck-body{margin:0;height:100%;background:var(--parchment);color:var(--ink);font-family:Charter,Georgia,Times New Roman,serif}.deck-nav{position:fixed;top:0;left:0;right:0;z-index:5;display:flex;gap:1.2rem;align-items:baseline;padding:.55rem 1.2rem;font-family:system-ui,sans-serif;font-size:var(--fs-xs);letter-spacing:.04em;text-transform:uppercase;color:var(--ink-faint);background:color-mix(in srgb,var(--parchment) 90%,transparent);backdrop-filter:blur(3px)}.deck-nav a{color:var(--ink-faint);text-decoration:none}.deck-nav a:hover{color:var(--accent)}.deck-count{margin-left:auto;font-variant-numeric:tabular-nums}.deck-keys{color:var(--ink-ghost);text-transform:none;letter-spacing:0}.deck-progress{position:fixed;top:0;left:0;right:0;z-index:6;height:3px;background:transparent;pointer-events:none}.deck-progress i{display:block;height:100%;width:0;background:var(--accent-bright);transition:width .25s ease}.deck{display:flex;flex-direction:row;height:100%;overflow-x:auto;overflow-y:hidden;scroll-snap-type:x mandatory;scrollbar-width:none}.deck::-webkit-scrollbar{display:none}.slide{position:relative;box-sizing:border-box;flex:0 0 100%;width:100%;height:100%;overflow-y:auto;scroll-snap-align:start;display:flex;flex-direction:column;padding:4rem clamp(1.5rem,12vw,12rem);border-right:1px solid var(--rule)}.slide-inner{margin:auto 0;width:100%}.slide h1{font-size:clamp(2rem,4.2vw,2.9rem);line-height:1.18;font-weight:600;letter-spacing:-.01em;margin:.6rem 0 1.4rem}.slide h2{font-size:1.75rem;line-height:1.25;font-weight:600;letter-spacing:-.005em;margin:0 0 1.5rem;padding-bottom:.55rem;position:relative}.slide h2:after{content:"";position:absolute;left:0;bottom:0;width:3.2rem;height:3px;background:var(--accent-bright);border-radius:2px}.slide-title{text-align:center}.title-kicker{font-family:system-ui,sans-serif;font-size:var(--fs-xs);letter-spacing:.14em;text-transform:uppercase;color:var(--accent);margin:0 0 1.2rem}.slide-title .slide-prose{max-width:42rem;margin:0 auto;padding:1.1rem 0;border-top:1px solid var(--rule);border-bottom:1px solid var(--rule);font-style:italic;font-size:1.12rem;color:var(--ink-soft)}.title-paper-link{margin-top:3rem;font-size:var(--fs-body-s);color:var(--ink-faint)}.title-paper-link a{color:var(--accent-deep);text-decoration:none}.title-paper-link a:hover{text-decoration:underline}.slide-prose{font-size:1.32rem;line-height:1.6}.slide-prose ul{padding-left:1.35rem;margin:.6rem 0;list-style:none}.slide-prose li{margin:.55rem 0;position:relative}.slide-prose li:before{content:"—";position:absolute;left:-1.35rem;color:var(--accent-muted)}.slide-formal{margin:1.2rem 0;padding:1rem 1.3rem;border:1px solid var(--rule-soft);border-left:3px solid var(--accent);border-radius:var(--r-card);background:var(--paper);box-shadow:0 1px 3px #1a1a1a0d;font-size:1.08rem;line-height:1.5;position:relative;max-height:52vh;overflow:auto}.slide-formal figcaption{font-family:system-ui,sans-serif;font-size:var(--fs-xs);letter-spacing:.06em;text-transform:uppercase;color:var(--accent);margin-bottom:.55rem}.slide-formal figcaption a{color:inherit;text-decoration:none}.slide-formal figcaption a:hover{text-decoration:underline}.formal-title{text-transform:none;letter-spacing:0;color:var(--ink-faint)}.slide-formal .formal-ref{color:var(--accent-deep);text-decoration:none;border-bottom:1px dotted var(--accent-muted)}.slide-formal .formal-ref:hover{border-bottom-style:solid}@media print{.slide-formal{max-height:none;overflow:visible}}.slide-informal{font-size:1.26rem;line-height:1.55;margin:1.1rem 0;padding:.85rem 1.1rem;background:var(--parchment-deep);border-radius:var(--r-card);color:var(--ink)}.slide-informal .chip{display:inline-block;font-family:system-ui,sans-serif;font-size:var(--fs-2xs);letter-spacing:.04em;text-transform:uppercase;color:var(--accent);background:var(--accent-wash);border-radius:var(--r-pill);padding:.12rem .62rem;margin-right:.55rem;text-decoration:none;vertical-align:.12em}.slide-informal .chip:hover{text-decoration:underline}.slide-missing{color:var(--sorry);font-family:var(--code-font, monospace)}.deck-step{position:fixed;bottom:.7rem;right:1.2rem;z-index:5;display:flex;gap:.7rem;align-items:baseline;font-family:system-ui,sans-serif;font-size:.95rem;color:var(--ink-ghost);background:color-mix(in srgb,var(--parchment) 85%,transparent);border-radius:var(--r-pill);padding:.15rem .6rem}.deck-step a{color:var(--ink-soft);text-decoration:none;font-size:1.5rem;line-height:1;padding:0 .3rem}.deck-step a:hover{color:var(--accent)}.deck-step a.step-off{opacity:.25;pointer-events:none}.deck-step .step-n{font-variant-numeric:tabular-nums;font-size:.8rem}.slide-figure{margin:1.3rem 0}.slide-figure-svg{cursor:zoom-in;background:transparent;border:1px solid var(--rule-soft);border-radius:var(--r-frame);padding:.9rem 1rem;transition:border-color .15s ease}.slide-figure-svg:hover{border-color:var(--ink-ghost)}.slide-figure-svg svg{max-width:100%;height:auto;display:block;margin:0 auto}.fig-lightbox{position:fixed;inset:0;z-index:20;display:flex;align-items:center;justify-content:center;background:#1e1e1c8c;cursor:zoom-out}.fig-lightbox svg{width:min(94vw,1600px);max-height:92vh;height:auto;background:var(--parchment);border-radius:10px;padding:1rem;box-sizing:border-box}.slide-figure-missing{border:1px dashed var(--rule);color:var(--ink-faint);font-family:var(--code-font, monospace);padding:2rem;text-align:center}.slide-figure figcaption{margin-top:.6rem;font-size:var(--fs-body-s);color:var(--ink-faint);text-align:center;max-width:46rem;margin-left:auto;margin-right:auto}.slide-figure .chip{display:inline-block;font-family:system-ui,sans-serif;font-size:var(--fs-2xs);letter-spacing:.04em;text-transform:uppercase;color:var(--ink-faint);background:var(--parchment-deep);border:1px solid var(--rule-soft);border-radius:var(--r-pill);padding:.08rem .55rem;margin-right:.4rem;vertical-align:.1em}.katex-display{overflow-x:auto;overflow-y:hidden;padding:.2rem 0}@media print{.deck-nav,.deck-progress,.deck-step{display:none}.deck{display:block;height:auto;overflow:visible}.slide{width:auto;height:auto;overflow:visible;page-break-after:always;border-right:none;padding:2rem 3rem}.deck-body{background:#fff}}