nav[data-astro-cid-ssfzsv2f]>a[data-astro-cid-ssfzsv2f]>svg[data-astro-cid-ssfzsv2f]{vertical-align:-2px;margin-right:6px;opacity:.55}.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}.sidebar-details[data-astro-cid-ssfzsv2f]{margin:0}.sidebar-details[data-astro-cid-ssfzsv2f] summary[data-astro-cid-ssfzsv2f]{cursor:pointer;list-style:none}.sidebar-details[data-astro-cid-ssfzsv2f] summary[data-astro-cid-ssfzsv2f]::-webkit-details-marker{display:none}.sidebar-details[data-astro-cid-ssfzsv2f] summary[data-astro-cid-ssfzsv2f] h2[data-astro-cid-ssfzsv2f]{display:inline}.sidebar-details[data-astro-cid-ssfzsv2f] summary[data-astro-cid-ssfzsv2f] h2[data-astro-cid-ssfzsv2f]:after{content:" ▶";font-size:.5rem;vertical-align:middle;color:var(--color-text-muted)}.sidebar-details[data-astro-cid-ssfzsv2f][open] summary[data-astro-cid-ssfzsv2f] h2[data-astro-cid-ssfzsv2f]:after{content:" ▼"}.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)}.sidebar-footer[data-astro-cid-ssfzsv2f] a[data-astro-cid-ssfzsv2f]>svg[data-astro-cid-ssfzsv2f]{vertical-align:-2px;margin-right:6px;opacity:.55}:root{--color-bg: #fafaf9;--color-surface: #ffffff;--color-text: #1c1917;--color-text-muted: #78716c;--color-border: #e7e5e4;--color-accent: #2563eb;--color-accent-light: #dbeafe;--color-rigorous: #16a34a;--color-provisional: #ca8a04;--color-draft: #ea580c;--color-stub: #a8a29e;--color-non-viable: #dc2626;--sidebar-width: 280px;--content-max: 800px;font-family:Inter,ui-sans-serif,system-ui,-apple-system,sans-serif;color:var(--color-text);background:var(--color-bg)}*{box-sizing:border-box;margin:0;padding:0}body{display:flex;min-height:100vh}.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-size:1.1rem;font-weight:700;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-size:1.75rem;margin-bottom:1rem;line-height:1.3}.main-content h2{font-size:1.3rem;margin:2rem 0 .75rem;padding-top:1rem;border-top:1px solid var(--color-border)}.main-content h3{font-size:1.1rem;margin:1.5rem 0 .5rem}.main-content p{line-height:1.7;margin-bottom:1rem}.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-rigorous{background:#dcfce7;color:var(--color-rigorous)}.status-provisional{background:#fef9c3;color:var(--color-provisional)}.status-draft{background:#ffedd5;color:var(--color-draft)}.status-stub{background:#f5f5f4;color:var(--color-stub)}.status-non-viable{background:#fef2f2;color:var(--color-non-viable)}.status-quantitative{background:#dcfce7;color:var(--color-rigorous)}.status-semi-quantitative{background:#fef9c3;color:var(--color-provisional)}.status-qualitative{background:#dbeafe;color:#1d4ed8}.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:#dbeafe;color:#1d4ed8;margin-left:.5rem;vertical-align:middle}.lean-proofs-section{margin:1.5rem 0;padding:1rem;background:#eff6ff;border:1px solid #bfdbfe;border-radius:6px;font-size:.875rem}.lean-proofs-section summary{cursor:pointer;display:flex;align-items:center;gap:.5rem;font-weight:600;color:#1d4ed8;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 #bfdbfe}.lean-proof-item{margin-bottom:.75rem;padding-bottom:.75rem;border-bottom:1px solid #dbeafe}.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:#dbeafe;color:#1e40af;padding:.1rem .4rem;border-radius:3px;font-family:SF Mono,Fira Code,Fira Mono,monospace}.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:#1d4ed8}.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:#dcfce7;color:#16a34a;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}html{scroll-behavior:smooth}.depends-on{margin:1.5rem 0;padding:1rem;background:#f5f5f4;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:#f5f5f4;font-weight:600;font-size:.8rem}.main-content tr:hover{background:#fafaf9}.katex-display{margin:1.5rem 0;overflow-x:auto}.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}}