.nav-primary-group[data-astro-cid-ssfzsv2f]{margin-bottom:.5rem}.nav-primary[data-astro-cid-ssfzsv2f]>svg[data-astro-cid-ssfzsv2f],.sidebar-footer[data-astro-cid-ssfzsv2f] a[data-astro-cid-ssfzsv2f]>svg[data-astro-cid-ssfzsv2f]{vertical-align:-2px;margin-right:7px;opacity:.55}.nav-primary[data-astro-cid-ssfzsv2f]{font-weight:500}.nav-section[data-astro-cid-ssfzsv2f]{margin:0;border-top:1px solid var(--color-border)}.nav-section[data-astro-cid-ssfzsv2f]>summary[data-astro-cid-ssfzsv2f]{cursor:pointer;list-style:none;display:flex;align-items:center;justify-content:space-between}.nav-section[data-astro-cid-ssfzsv2f]>summary[data-astro-cid-ssfzsv2f]::-webkit-details-marker{display:none}.nav-section[data-astro-cid-ssfzsv2f]>summary[data-astro-cid-ssfzsv2f] h2[data-astro-cid-ssfzsv2f]{display:inline;margin:1rem 0 .5rem}.nav-section[data-astro-cid-ssfzsv2f]>summary[data-astro-cid-ssfzsv2f]:hover h2[data-astro-cid-ssfzsv2f]{color:var(--color-accent)}.nav-section[data-astro-cid-ssfzsv2f]>summary[data-astro-cid-ssfzsv2f]:after{content:"";width:6px;height:6px;border-right:1.5px solid var(--color-text-muted);border-bottom:1.5px solid var(--color-text-muted);transform:rotate(-45deg);transition:transform .15s;margin-right:.35rem;opacity:.7;flex-shrink:0}.nav-section[data-astro-cid-ssfzsv2f][open]>summary[data-astro-cid-ssfzsv2f]:after{transform:rotate(45deg)}.nav-section-note[data-astro-cid-ssfzsv2f]{font-size:.72rem;line-height:1.45;color:var(--color-text-muted);padding:0 .5rem .5rem;margin:0}.sidebar-group-label[data-astro-cid-ssfzsv2f]{font-size:.7rem;text-transform:uppercase;color:var(--color-text-muted);padding:.5rem .5rem .15rem;letter-spacing:.04em}.domain-icon[data-astro-cid-ssfzsv2f]{display:inline-block;width:1.1em;text-align:center;font-size:.85em}.sidebar-footer[data-astro-cid-ssfzsv2f]{margin-top:1.5rem;padding-top:1rem;border-top:1px solid var(--color-border)}:root{color-scheme:light;--color-bg: #ffffff;--color-surface: #ffffff;--color-surface-alt: #f1f5f9;--color-surface-raised: #f8fafc;--color-text: #0f172a;--color-text-muted: #64748b;--color-heading: #0f172a;--color-border: #e2e8f0;--color-accent: #2563eb;--color-accent-hover: #1d4ed8;--color-accent-light: #dbeafe;--color-accent-contrast: #ffffff;--color-hero-1: #0b1120;--color-hero-2: #1e293b;--color-hero-text: #eff6ff;--color-hero-accent: #93c5fd;--color-derived: #16a34a;--color-provisional: #ca8a04;--color-draft: #ea580c;--color-stub: #a8a29e;--color-non-viable: #dc2626;--badge-derived-bg: #dcfce7;--badge-provisional-bg: #fef9c3;--badge-draft-bg: #ffedd5;--badge-stub-bg: #f1f5f9;--badge-non-viable-bg: #fef2f2;--badge-info-bg: #dbeafe;--badge-info-fg: #1d4ed8;--graph-label: #64748b;--graph-label-hi: #0f172a;--sidebar-width: 300px;--topbar-height: 52px;--content-max: 800px;--font-body: "Inter", ui-sans-serif, system-ui, -apple-system, sans-serif;--font-display: "Space Grotesk", "Inter", ui-sans-serif, system-ui, sans-serif;--font-mono: "JetBrains Mono", ui-monospace, "SF Mono", "Fira Code", monospace;font-family:var(--font-body);color:var(--color-text);background:var(--color-bg)}:root[data-theme=dark]{color-scheme:dark;--color-bg: #0b0e14;--color-surface: #12161f;--color-surface-alt: #171d29;--color-surface-raised: #1a2130;--color-text: #e6edf3;--color-text-muted: #94a3b8;--color-heading: #f1f5f9;--color-border: #242b39;--color-accent: #60a5fa;--color-accent-hover: #93c5fd;--color-accent-light: rgba(96, 165, 250, .16);--color-accent-contrast: #0b0e14;--color-hero-1: #090c12;--color-hero-2: #141b28;--color-hero-text: #eff6ff;--color-hero-accent: #93c5fd;--color-derived: #4ade80;--color-provisional: #facc15;--color-draft: #fb923c;--color-stub: #94a3b8;--color-non-viable: #f87171;--badge-derived-bg: rgba(74, 222, 128, .15);--badge-provisional-bg: rgba(250, 204, 21, .15);--badge-draft-bg: rgba(251, 146, 60, .15);--badge-stub-bg: rgba(148, 163, 184, .15);--badge-non-viable-bg: rgba(248, 113, 113, .15);--badge-info-bg: rgba(96, 165, 250, .16);--badge-info-fg: #93c5fd;--graph-label: #94a3b8;--graph-label-hi: #f1f5f9}*{box-sizing:border-box;margin:0;padding:0}body{display:flex;min-height:100vh;background:var(--color-bg);color:var(--color-text)}body,.sidebar,.main-content,.theme-toggle{transition:background-color .2s ease,border-color .2s ease,color .2s ease}.sidebar{width:var(--sidebar-width);border-right:1px solid var(--color-border);background:var(--color-surface);padding:1.5rem 1rem;position:fixed;top:0;left:0;bottom:0;overflow-y:auto}.sidebar h2{font-size:.75rem;text-transform:uppercase;letter-spacing:.05em;color:var(--color-text-muted);margin:1.5rem 0 .5rem}.sidebar h2:first-child{margin-top:0}.sidebar a{display:block;padding:.3rem .5rem;text-decoration:none;color:var(--color-text);font-size:.875rem;border-radius:4px;line-height:1.4}.sidebar a:hover{background:var(--color-accent-light);color:var(--color-accent)}.sidebar a[aria-current=page]{background:var(--color-accent-light);color:var(--color-accent);font-weight:600}.sidebar .site-brand{display:flex;align-items:center;gap:.6rem;text-decoration:none;padding:0;margin-bottom:1rem;border:none}.sidebar .site-brand:hover{background:none}.sidebar .site-logo{flex-shrink:0;border-radius:6px}.sidebar .site-title{font-family:var(--font-display);font-size:1.1rem;font-weight:600;letter-spacing:-.01em;color:var(--color-text);margin-bottom:.1rem}.sidebar .site-subtitle{font-size:.75rem;color:var(--color-text-muted);margin-bottom:0}.main-content{margin-left:var(--sidebar-width);flex:1;padding:2rem 3rem;max-width:calc(var(--content-max) + 6rem)}.main-content h1{font-family:var(--font-display);font-size:1.85rem;font-weight:600;letter-spacing:-.02em;margin-bottom:1rem;line-height:1.25}.main-content h2{font-family:var(--font-display);font-size:1.35rem;font-weight:600;letter-spacing:-.01em;margin:2rem 0 .75rem;padding-top:1rem;border-top:1px solid var(--color-border)}.main-content h3{font-family:var(--font-display);font-size:1.1rem;font-weight:600;margin:1.5rem 0 .5rem}.main-content p{line-height:1.7;margin-bottom:1rem}.main-content a{color:var(--color-accent);text-decoration:none;border-bottom:1px solid color-mix(in srgb,var(--color-accent) 30%,transparent);transition:border-color .15s,color .15s}.main-content a:hover{color:var(--color-accent-hover);border-bottom-color:var(--color-accent)}.main-content a.persp-card,.main-content a.cta-card,.main-content a.domain-card,.main-content a.guide-toc-card,.main-content a.onramp-card,.main-content a.stat-tile,.main-content a.nav-card{border-bottom:none}.main-content ul,.main-content ol{margin:.5rem 0 1rem 1.5rem;line-height:1.7}.main-content blockquote{border-left:3px solid var(--color-accent);padding:.5rem 1rem;margin:1rem 0;background:var(--color-accent-light);border-radius:0 4px 4px 0}.status-badge{display:inline-block;font-size:.7rem;font-weight:600;text-transform:uppercase;padding:.15rem .5rem;border-radius:9999px;letter-spacing:.03em}.status-derived{background:var(--badge-derived-bg);color:var(--color-derived)}.status-provisional{background:var(--badge-provisional-bg);color:var(--color-provisional)}.status-draft{background:var(--badge-draft-bg);color:var(--color-draft)}.status-stub{background:var(--badge-stub-bg);color:var(--color-stub)}.status-non-viable{background:var(--badge-non-viable-bg);color:var(--color-non-viable)}.status-quantitative{background:var(--badge-derived-bg);color:var(--color-derived)}.status-semi-quantitative{background:var(--badge-provisional-bg);color:var(--color-provisional)}.status-qualitative{background:var(--badge-info-bg);color:var(--badge-info-fg)}.lean-badge{display:inline-flex;align-items:center;gap:.25rem;font-size:.7rem;font-weight:600;text-transform:uppercase;padding:.15rem .5rem;border-radius:9999px;letter-spacing:.03em;background:var(--badge-info-bg);color:var(--badge-info-fg);margin-left:.5rem;vertical-align:middle}.lean-proofs-section{margin:1.5rem 0;padding:1rem;background:var(--color-accent-light);border:1px solid var(--color-border);border-radius:6px;font-size:.875rem}.lean-proofs-section summary{cursor:pointer;display:flex;align-items:center;gap:.5rem;font-weight:600;color:var(--badge-info-fg);list-style:none}.lean-proofs-section summary::-webkit-details-marker{display:none}.lean-proofs-section summary:before{content:"▶";font-size:.6rem;transition:transform .2s}.lean-proofs-section[open] summary:before{transform:rotate(90deg)}.lean-proofs-list{margin-top:.75rem;padding-top:.75rem;border-top:1px solid var(--color-border)}.lean-proof-item{margin-bottom:.75rem;padding-bottom:.75rem;border-bottom:1px solid var(--color-border)}.lean-proof-item:last-child{margin-bottom:0;padding-bottom:0;border-bottom:none}.lean-module{display:block;font-family:SF Mono,Fira Code,Fira Mono,monospace;font-size:.8rem;color:var(--color-text-muted);margin-top:.15rem}.lean-theorems{list-style:none;padding-left:0;margin:.35rem 0;display:flex;flex-wrap:wrap;gap:.35rem}.lean-theorems code{font-size:.75rem;background:var(--color-accent-light);color:var(--badge-info-fg);padding:.1rem .4rem;border-radius:3px;font-family:var(--font-mono)}.lean-source-link{font-size:.8rem;color:var(--color-accent);text-decoration:none}.lean-source-link:hover{text-decoration:underline}.lean-explanation{font-size:.8rem;color:var(--color-text-muted);margin:.5rem 0 .75rem;line-height:1.5}.lean-explanation a{color:var(--color-accent);text-decoration:none}.lean-explanation a:hover{text-decoration:underline}.lean-proof-header{display:flex;align-items:baseline;gap:.5rem;flex-wrap:wrap}.lean-prop-link{font-weight:700;text-decoration:none;color:var(--badge-info-fg)}.lean-prop-link:hover{text-decoration:underline}.lean-theorem-count{font-size:.7rem;color:var(--color-text-muted)}.lean-inline-badge{display:inline-flex;align-items:center;gap:.2rem;font-size:.6rem;font-weight:600;text-transform:uppercase;padding:.1rem .4rem;border-radius:9999px;background:var(--badge-derived-bg);color:var(--color-derived);margin-left:.35rem;vertical-align:middle;letter-spacing:.03em;white-space:nowrap}.lean-inline-badge svg{flex-shrink:0}.derivation-tabs{display:flex;gap:0;border-bottom:2px solid var(--color-border);margin:1.5rem 0 0}.derivation-tab{padding:.6rem 1.25rem;font-size:.875rem;font-weight:500;color:var(--color-text-muted);background:none;border:none;border-bottom:2px solid transparent;margin-bottom:-2px;cursor:pointer;transition:color .15s,border-color .15s;font-family:inherit}.derivation-tab:hover{color:var(--color-text)}.derivation-tab--active{color:var(--color-accent);border-bottom-color:var(--color-accent);font-weight:600}.derivation-panel>h2:first-child{border-top:none;margin-top:1rem;padding-top:0}.derivation-continue-link{display:block;margin-top:2rem;padding-top:1.25rem;border-top:1px solid var(--color-border);color:var(--color-accent);text-decoration:none;font-size:.95rem;font-weight:500;transition:opacity .15s}.derivation-continue-link:hover{opacity:.8}html{scroll-behavior:smooth}.depends-on{margin:1.5rem 0;padding:1rem;background:var(--color-surface-alt);border-radius:6px;font-size:.875rem}.depends-on h4{font-size:.75rem;text-transform:uppercase;color:var(--color-text-muted);margin-bottom:.5rem}.axiom-card{border:1px solid var(--color-border);border-radius:8px;padding:1.25rem;margin-bottom:1rem;background:var(--color-surface)}.axiom-card h3{margin:0 0 .5rem;border:none;padding:0}.derivation-list{list-style:none;margin:0;padding:0}.derivation-list li{padding:.75rem 0;border-bottom:1px solid var(--color-border);display:flex;align-items:center;gap:.75rem}.derivation-list li:last-child{border-bottom:none}.derivation-list a{text-decoration:none;color:var(--color-accent);font-weight:500}.derivation-list a:hover{text-decoration:underline}.derivation-list .summary{font-size:.8rem;color:var(--color-text-muted);display:block;margin-top:.2rem}.cv-dot1{animation:cv-cw 3s linear infinite}.cv-dot2{animation:cv-ccw 3s linear infinite}.cv-pulse{animation:cv-pulse 2s ease-in-out infinite}@keyframes cv-cw{to{transform:rotate(360deg)}}@keyframes cv-ccw{to{transform:rotate(-360deg)}}@keyframes cv-pulse{0%,to{opacity:.2}50%{opacity:.7}}.cv-paused .cv-dot1,.cv-paused .cv-dot2,.cv-paused .cv-pulse{animation-play-state:paused}.main-content table{width:100%;border-collapse:collapse;margin-bottom:1.5rem;font-size:.9rem;line-height:1.5}.main-content th,.main-content td{padding:.45rem .75rem;border:1px solid var(--color-border);text-align:left}.main-content th{background:var(--color-surface-alt);font-weight:600;font-size:.8rem}.main-content tr:hover{background:var(--color-surface-alt)}.katex-display{margin:1.5rem 0;overflow-x:auto}.theme-toggle{position:fixed;top:.85rem;right:1.1rem;z-index:102;width:38px;height:38px;display:flex;align-items:center;justify-content:center;border:1px solid var(--color-border);border-radius:8px;background:var(--color-surface);color:var(--color-text-muted);cursor:pointer;box-shadow:0 1px 3px #0000000f}.theme-toggle:hover{color:var(--color-accent);border-color:var(--color-accent)}.theme-toggle .icon-sun{display:none}.theme-toggle .icon-moon{display:block}:root[data-theme=dark] .theme-toggle .icon-sun{display:block}:root[data-theme=dark] .theme-toggle .icon-moon{display:none}.menu-toggle,.sidebar-overlay{display:none}@media(max-width:768px){.menu-toggle{display:flex;align-items:center;justify-content:center;position:fixed;top:.75rem;left:.75rem;z-index:101;width:40px;height:40px;border:1px solid var(--color-border);border-radius:6px;background:var(--color-surface);color:var(--color-text);cursor:pointer;box-shadow:0 1px 3px #0000001a}.sidebar{transform:translate(-100%);transition:transform .25s ease;z-index:100;padding-top:3.5rem}body.sidebar-open .sidebar{transform:translate(0)}.sidebar-overlay{display:block;position:fixed;inset:0;z-index:99;background:#0000004d;opacity:0;pointer-events:none;transition:opacity .25s ease}body.sidebar-open .sidebar-overlay{opacity:1;pointer-events:auto}body.sidebar-open{overflow:hidden}.main-content{margin-left:0;padding:3.5rem 1.25rem 2rem;max-width:100%}.main-content h1{font-size:1.4rem}.main-content h2{font-size:1.15rem}.main-content h3{font-size:1rem}.derivation-tab{padding:.5rem 1rem;font-size:.8rem}pre{overflow-x:auto}}