:root{--ink:#202b3b;--muted:#576578;--blue:#254cad;--line:#dce2eb;--wash:#f5f7fb;--serif:Georgia,'Times New Roman',serif;--mono:'Cascadia Code',Consolas,'Liberation Mono',monospace}
*{box-sizing:border-box}html{scroll-behavior:smooth;scroll-padding-top:2rem}body{margin:0;background:#fff;color:var(--ink);font:16px/1.7 system-ui,-apple-system,'Segoe UI',sans-serif}a{color:var(--blue);text-underline-offset:4px;text-decoration-thickness:1px}a:hover{text-decoration-thickness:2px}a:focus-visible,button:focus-visible,summary:focus-visible{outline:3px solid #d28a20;outline-offset:4px}button,summary{font:inherit}button{cursor:pointer}button:disabled{cursor:default}.skip{position:absolute;top:-100px;left:20px;background:white;padding:12px;z-index:10}.skip:focus{top:0}
.site-header{border-bottom:1px solid var(--line)}.header-inner{max-width:1240px;margin:auto;display:flex;justify-content:space-between;gap:25px;align-items:center;padding:24px 34px}.brand{display:flex;gap:14px;align-items:center;color:var(--ink);text-decoration:none}.mark{font-family:var(--serif);font-size:23px;display:grid;place-items:center;background:var(--blue);color:white;width:45px;height:45px;border-radius:3px}.brand strong{font:24px/1.2 var(--serif);display:block}.brand small{font-size:11px;letter-spacing:.14em;text-transform:uppercase;color:var(--muted);display:block;margin-top:5px}nav{display:flex;gap:27px;flex-wrap:wrap}nav a{color:var(--muted);font-size:14px;text-decoration:none;padding:8px 0}nav a[aria-current=page]{color:var(--ink);box-shadow:0 2px var(--blue)}
main{max-width:1240px;margin:auto;padding:42px 34px 65px}.eyebrow{font-size:12px;letter-spacing:.12em;text-transform:uppercase;color:var(--muted);margin:0 0 12px}.hero{padding-bottom:32px;border-bottom:1px solid var(--line)}h1,h2,h3{font-family:var(--serif);font-weight:400;line-height:1.22}h1{font-size:clamp(2rem,3.2vw,2.9rem);max-width:1000px;letter-spacing:-.025em;margin:0 0 17px}h2{font-size:1.9rem;margin:0 0 16px}h3{font-size:1.35rem;margin:22px 0 12px}p{margin:0 0 16px}.author{color:var(--muted);font-size:15px;margin-bottom:20px}.author span{display:block;font-size:14px}.lede{max-width:880px;font-size:17px}.actions{display:flex;flex-wrap:wrap;gap:12px 24px;align-items:center;margin-top:24px}.button{display:inline-block;text-decoration:none;border:1px solid var(--blue);border-radius:3px;padding:8px 15px;font-size:14px;font-weight:600}.button.primary{background:var(--blue);color:white}.actions .quiet{font-size:14px}.result{padding:35px 0;border-bottom:1px solid var(--line)}.section-top{display:flex;align-items:baseline;justify-content:space-between;gap:20px}.reference{font-size:13px;white-space:nowrap;color:var(--muted)}.result-grid{display:grid;grid-template-columns:minmax(0,.95fr) minmax(0,1.05fr);gap:35px;align-items:start}.statement{font-family:var(--serif);font-size:19px;line-height:1.65}.label{font:11px/1.5 system-ui,sans-serif;letter-spacing:.08em;text-transform:uppercase;color:var(--muted);margin:0 0 13px}.statement p{margin-bottom:16px}.math{font-family:'Cambria Math','STIX Two Math',var(--serif);font-style:italic}.formula{display:block;text-align:center;font-family:'Cambria Math',var(--serif);font-size:21px;margin:22px 0;line-height:1.75;overflow-wrap:anywhere}.formula .roman{font-style:normal}.statement ul{padding-left:23px;margin:10px 0}.note{font:14px/1.7 system-ui,sans-serif;color:var(--muted);margin-top:20px}.codebox{background:var(--wash);border:1px solid var(--line);border-radius:4px;overflow:hidden}.codebar{display:flex;justify-content:space-between;align-items:center;gap:12px;padding:10px 14px;border-bottom:1px solid var(--line);font-size:12px;color:var(--muted)}.copy{background:transparent;border:0;color:var(--blue);padding:2px 5px;font-size:12px;min-width:46px}pre{font-family:var(--mono);font-size:13px;line-height:1.7;margin:0;padding:18px;overflow-x:auto;tab-size:2}pre code{font:inherit;white-space:pre-wrap;overflow-wrap:anywhere}code{font-family:var(--mono);font-size:.86em;overflow-wrap:anywhere}code a{color:inherit;text-decoration-style:dotted}.kw{color:#603b8c}.cm{color:#607287}.codefoot{font-size:13px;display:flex;gap:14px;flex-wrap:wrap;padding:11px 16px;border-top:1px solid var(--line)}.context{font-size:12px;color:var(--muted);margin-top:10px}details{margin-top:22px;border-top:1px solid var(--line);padding-top:15px}summary{font-size:15px;font-weight:550;cursor:pointer;color:var(--blue)}.explanation{padding:14px 0 0;font-size:15px;max-width:960px}.explanation li{margin-bottom:10px}.explanation ol{padding-left:24px}.jump{display:flex;flex-wrap:wrap;gap:9px 20px;margin:26px 0 0;font-size:14px}.prose{max-width:900px}.prose h2{margin-top:38px}.prose h3{margin-top:24px}.prose p{max-width:880px}.definition{padding:28px 0;border-bottom:1px solid var(--line)}.definition-grid{display:grid;grid-template-columns:minmax(0,.85fr) minmax(0,1.15fr);gap:35px}.definition h2{font-size:1.65rem}.definition-grid .description{font-size:16px}.meta-list{margin:24px 0;border-top:1px solid var(--line)}.meta-row{display:grid;grid-template-columns:190px minmax(0,1fr);gap:22px;padding:13px 0;border-bottom:1px solid var(--line)}.meta-row dt{font-size:14px;color:var(--muted)}.meta-row dd{margin:0;font-size:15px}.audit-summary{display:flex;gap:0;flex-wrap:wrap;margin:28px 0;border:1px solid var(--line);border-radius:4px}.audit-summary div{padding:19px 26px;flex:1;min-width:175px}.audit-summary div+div{border-left:1px solid var(--line)}.audit-summary strong{display:block;font:29px/1.2 var(--serif)}.audit-summary span{font-size:13px;color:var(--muted)}.download-list{padding:0;list-style:none;border-top:1px solid var(--line)}.download-list li{padding:16px 0;border-bottom:1px solid var(--line)}.download-list small{display:block;color:var(--muted);font-size:13px;margin-top:4px}.hash{display:block;font-size:12px;line-height:1.6;overflow-wrap:anywhere;color:var(--muted)}.two-columns{display:grid;grid-template-columns:minmax(0,1fr) minmax(0,1fr);gap:45px}.paper-heading{font:24px/1.35 var(--serif);margin:18px 0}.outline{padding-left:23px;font-size:15px}.outline li{margin-bottom:10px}.source-index{columns:3;column-gap:35px;list-style:none;padding:0}.source-index li{break-inside:avoid;margin:0 0 8px;font-size:14px}.source-pre{padding:15px 0;white-space:pre;overflow:auto;background:var(--wash);font:13px/1.65 var(--mono)}.source-line{display:block;min-height:1.65em;padding-right:20px}.source-line:target{background:#fff0b9}.line-number{display:inline-block;user-select:none;width:4em;text-align:right;padding-right:16px;color:#6c7685;text-decoration:none}.footer{max-width:1172px;margin:auto;padding:25px 0 35px;border-top:1px solid var(--line);display:flex;justify-content:space-between;gap:20px;font-size:13px;color:var(--muted)}.footer a{color:var(--muted)}.small{font-size:14px}.status{position:fixed;bottom:25px;left:50%;transform:translateX(-50%);background:var(--ink);color:white;padding:8px 18px;border-radius:4px;font-size:14px;pointer-events:none}.status:empty{display:none}.scheme{display:flex;align-items:center;justify-content:center;gap:20px;flex-wrap:wrap;margin:25px 0;font-family:var(--serif);font-size:22px}.scheme .arrow{color:var(--blue);text-align:center}.scheme .arrow small{display:block;font-size:16px}
@media(max-width:900px){.result-grid,.definition-grid,.two-columns{grid-template-columns:1fr;gap:22px}main{padding-top:30px}.header-inner{align-items:flex-start}.brand strong{font-size:21px}nav{gap:20px}.source-index{columns:2}.footer{margin:0 30px}}
@media(max-width:620px){.header-inner{padding:18px 20px;flex-direction:column;gap:12px}.brand small{font-size:10px}nav{width:100%;justify-content:space-between;gap:10px}nav a{font-size:13px}main{padding:28px 20px 42px}.hero{padding-bottom:26px}h1{font-size:2.05rem}.section-top{display:block}.reference{display:block;margin:-4px 0 15px}.result{padding:28px 0}.statement{font-size:18px}.formula{font-size:20px}.meta-row{grid-template-columns:1fr;gap:3px}.audit-summary{display:grid;grid-template-columns:1fr 1fr}.audit-summary div{min-width:0;padding:16px}.audit-summary div+div{border-left:none}.audit-summary div:nth-child(2n){border-left:1px solid var(--line)}.audit-summary div:nth-child(n+3){border-top:1px solid var(--line)}.footer{margin:0 20px;flex-direction:column;gap:8px}.source-index{columns:1}pre{font-size:12px;padding:14px}.scheme{gap:13px;font-size:20px}}
@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}}@media print{.site-header,.copy,.actions,.footer,.jump{display:none}main{padding:0;max-width:none}.result{break-inside:avoid}.result-grid{display:block}details{display:block}pre{white-space:pre-wrap}.codebox{margin-top:20px}}