:root{color-scheme:light;--ink:#1d2b3e;--muted:#56667a;--link:#244e80;--border:#dce3eb;--wash:#f5f7fa}
*{box-sizing:border-box}html{scroll-padding-top:2rem}body{margin:0;background:#fff;color:var(--ink);font:1.0625rem/1.65 system-ui,-apple-system,'Segoe UI',sans-serif}a{color:var(--link);text-underline-offset:.22em}a:hover{text-decoration-thickness:2px}button,a,summary{touch-action:manipulation}a:focus-visible,button:focus-visible,summary:focus-visible,[tabindex]:focus-visible{outline:3px solid #6989b2;outline-offset:4px}button{font:inherit;color:var(--link);background:#fff;border:1px solid var(--border);border-radius:3px;padding:.45rem .8rem;cursor:pointer}button:disabled{opacity:.5;cursor:default}h1,h2,h3{font-family:Georgia,'Times New Roman',serif;font-weight:400;line-height:1.25;letter-spacing:-.02em}h1{font-size:clamp(1.85rem,3.15vw,2.7rem);margin:0 0 1rem}h2{font-size:1.9rem;margin:0 0 1.15rem}h3{font-size:1.35rem;margin:.3rem 0 .8rem}p{margin:0 0 1.05rem}li+li{margin-top:.35rem}header{border-bottom:1px solid var(--border)}.header-inner{max-width:1400px;margin:auto;padding:1rem 2.5rem;display:flex;align-items:center;justify-content:space-between;gap:2rem}.brand{font:1.2rem Georgia,serif;text-decoration:none}.private-note{font: .85rem system-ui;color:var(--muted);margin-left:1rem}nav{display:flex;gap:1.7rem;flex-wrap:wrap}nav a{font-size:.95rem;text-decoration:none;padding:.65rem 0;color:var(--muted)}nav a[aria-current=page]{color:var(--link);box-shadow:0 2px var(--link)}main{max-width:1340px;margin:auto;padding:3rem 2rem 5rem}.page-intro{max-width:1050px;margin-bottom:2.7rem}.author{color:var(--muted)}.lede{max-width:850px;margin-top:1.6rem}.in-page{display:flex;gap:1.5rem;font-size:.95rem;margin-top:1.5rem}.result,.definition{padding-top:1.8rem;margin-top:1.5rem;border-top:1px solid var(--border);scroll-margin-top:1.5rem}.result-title{display:flex;align-items:baseline;gap:1rem;flex-wrap:wrap}.result-title h2{margin-bottom:1rem}.muted,.subtle{color:var(--muted)}.subtle{font-size:.9rem}.comparison{display:grid;grid-template-columns:minmax(0,.88fr) minmax(0,1.12fr);border:1px solid var(--border);border-radius:4px;overflow:hidden}.math-panel,.formal-panel{min-width:0;padding:1.6rem}.formal-panel{background:var(--wash);border-left:1px solid var(--border)}.panel-label{font-size:.8rem;font-weight:600;letter-spacing:.07em;text-transform:uppercase;color:var(--muted);margin-bottom:1.2rem;display:flex;justify-content:space-between;gap:1rem}.panel-label a{text-transform:none;letter-spacing:0;font-weight:400}.theorem-prose{font:1.17rem/1.85 Georgia,'Times New Roman',serif}.formal-note{margin-top:1.2rem;font-size:.9rem}.formal-note a{overflow-wrap:anywhere}code{font: .9em Consolas,'Cascadia Code',monospace;overflow-wrap:anywhere}pre{font: .9rem/1.75 Consolas,'Cascadia Code',monospace;white-space:pre-wrap;overflow-wrap:anywhere;overflow:auto;margin:0;tab-size:2;max-width:100%}pre code{font:inherit;overflow-wrap:inherit}.code-block+.code-block{border-top:1px solid var(--border);padding-top:1rem;margin-top:1rem}.code-caption{font-size:.8rem;display:flex;justify-content:space-between;gap:.6rem;margin:.25rem 0 .65rem}.keyword{color:#65488e}.type{color:#285967}.math-display{overflow-x:auto;overflow-y:hidden}.katex{font-size:1.08em}.katex-display{margin:1.2em 0}.guide{margin:1rem 0 2rem}.guide>summary{color:var(--link);cursor:pointer;padding:.65rem .2rem;list-style:none;display:flex;align-items:center;gap:.65rem;font-size:.95rem}.guide>summary::-webkit-details-marker{display:none}.guide>summary:before{content:'›';font-size:1.4rem;line-height:1;transition:transform .12s}.guide[open]>summary:before{transform:rotate(90deg)}.guide-body{border-top:1px solid var(--border);margin-top:.5rem;padding:1.5rem 0}.guide-layout{display:grid;grid-template-columns:minmax(0,1.1fr) minmax(0,1fr);gap:2rem;align-items:start}.guide-context{background:var(--wash);border:1px solid var(--border);padding:1rem;max-height:70vh;overflow:auto;overscroll-behavior:contain}.clause{border-radius:2px;cursor:pointer;display:inline}.clause:hover{background:#e9eef5}.clause[aria-current=true]{background:#dfe8f3;outline:1px solid #8ca7c8;outline-offset:1px}.guide-step{min-width:0}.selected-fragment{padding:.9rem 1rem;border-left:3px solid #7897bb;background:var(--wash);margin-bottom:1.2rem}.step-controls{display:flex;align-items:center;gap:.75rem;justify-content:space-between;margin:0 0 1.2rem}.step-count{color:var(--muted);font-size:.9rem}.step-text dt{font-size:.8rem;font-weight:600;color:var(--muted);text-transform:uppercase;letter-spacing:.055em;margin-top:1rem}.step-text dd{margin:.25rem 0 .9rem}.definition-links{display:flex;flex-wrap:wrap;gap:.3rem 1rem;font-size:.9rem}.term-link{color:#215e67}.return-link{display:inline-block;margin:.3rem 0 1rem}.reading-width{max-width:860px}.definition-index{columns:3;column-gap:2rem;padding-left:1.2rem}.definition-index li{break-inside:avoid;font-size:.95rem}.definition .comparison{grid-template-columns:minmax(0,.85fr) minmax(0,1.15fr)}.provenance{font-size:.85rem;color:var(--muted)}.context-note{margin-top:1rem}.source-code{background:var(--wash);padding:1rem;white-space:pre;overflow-x:auto}.source-line{display:block;min-height:1.7em}.line-number{display:inline-block;min-width:3.8rem;padding-right:1rem;color:#68788a;text-decoration:none;user-select:none}.source-line:target{background:#e0eafa}.source-list{columns:2;overflow-wrap:anywhere;padding-left:1.2rem}.source-list li{font-size:.9rem;break-inside:avoid}.source-heading{overflow-wrap:anywhere}.report{white-space:pre-wrap;background:var(--wash);padding:1.5rem;border:1px solid var(--border)}table{border-collapse:collapse;width:100%;margin:1.2rem 0 2rem;font-size:.95rem}th,td{text-align:left;vertical-align:top;border-bottom:1px solid var(--border);padding:.75rem .65rem}th{font-weight:600}th:first-child,td:first-child{padding-left:0}.table-wrap{overflow-x:auto}.paper-viewer{border:1px solid var(--border);width:100%;height:78vh;margin-top:1.3rem}.downloads{display:flex;flex-wrap:wrap;gap:1.4rem;margin:1rem 0}.hash{font-size:.8rem;overflow-wrap:anywhere}.verification-section{padding-top:1.5rem;border-top:1px solid var(--border);margin-top:2rem}.skip-link{position:absolute;left:1rem;top:-5rem;background:white;padding:.7rem;z-index:2}.skip-link:focus{top:.5rem}footer{max-width:1276px;margin:0 auto;padding:1.5rem 0 2rem;border-top:1px solid var(--border);font-size:.85rem;color:var(--muted)}.copy-status{font-size:.8rem}.copy-button{border:0;background:transparent;padding:0 .35rem;font-size:.8rem;min-height:1.8rem}.no-script{font-size:.9rem}.hidden,[hidden]{display:none!important}
@media(max-width:900px){.header-inner{padding:1rem 1.5rem;flex-wrap:wrap;gap:.8rem}main{padding:2rem 1.5rem 3rem}.comparison,.definition .comparison{grid-template-columns:1fr}.formal-panel{border-left:0;border-top:1px solid var(--border)}.guide-layout{grid-template-columns:1fr;gap:1rem}.guide-context{max-height:36vh}.definition-index{columns:2}.title-break{display:none}footer{margin:0 1.5rem}.source-list{columns:1}}
@media(max-width:480px){body{font-size:1rem}.header-inner{padding:1rem}.private-note{margin-left:.6rem}nav{gap:1.2rem}nav a{font-size:.9rem}main{padding:1.6rem 1rem 3rem}.math-panel,.formal-panel{padding:1.1rem}pre{font-size:.875rem;line-height:1.8}.definition-index{columns:1}.step-controls{gap:.35rem}button{padding:.4rem .65rem}.source-code{padding:.5rem}.line-number{min-width:2.8rem;padding-right:.6rem}}
@media(prefers-reduced-motion:reduce){*{scroll-behavior:auto!important;transition:none!important}}@media print{header,footer,.guide,.copy-button,.paper-viewer{display:none}.comparison{display:block}.formal-panel{border-left:0}.result{break-before:page}main{padding:0}.page-intro{margin-bottom:1rem}}