.langpick{flex:none}:is(.workspace-app,.site-header) .langpick select{width:auto;max-width:140px;padding:4px 8px;border:1px solid #526177;border-radius:6px;background:#151b23;color:#edf1f7;min-height:34px;font:11px ui-sans-serif,system-ui,-apple-system,Segoe UI,Roboto,sans-serif}.langpick select:focus-visible{outline:2px solid #91b8fa;outline-offset:1px}:root{color-scheme:dark;--bg:#101318;--panel:#181d24;--line:#303946;--text:#edf1f7;--muted:#a0adbe;--accent:#91b8fa;--good:#a5d4b8;--warn:#efc48b;font:16px/1.75 system-ui,-apple-system,Segoe UI,sans-serif;scroll-padding-top:30px;scrollbar-color:#61738d #151b24;scrollbar-width:thin}*{box-sizing:border-box}body{margin:0;background:var(--bg);color:var(--text)}a{color:var(--accent);text-underline-offset:4px}a:hover{color:#fff}a:focus-visible,button:focus-visible,input:focus-visible,[tabindex]:focus-visible{outline:2px solid var(--accent);outline-offset:5px}button,input{font:inherit}button{cursor:pointer}.skip-link{position:absolute;left:20px;top:-100px;z-index:2;padding:10px;background:var(--panel)}.skip-link:focus{top:10px}[hidden]{display:none!important}.site-header,.site-footer{max-width:1256px;margin:auto;padding:26px 38px;display:flex;align-items:center;justify-content:space-between;gap:20px}.site-header{border-bottom:1px solid var(--line)}.brand{display:flex;align-items:center;gap:10px;color:var(--text);text-decoration:none;white-space:nowrap;font-size:25px;letter-spacing:-1px;font-weight:650}.brand svg{width:34px;height:34px;fill:none;stroke:#bbcee8;stroke-width:1.3;stroke-linejoin:round}.brand-light{font-weight:400;color:#c5cedb}.brand sup{font:9px ui-monospace,monospace;letter-spacing:1.5px;margin-left:10px;color:var(--muted)}.tool-link{display:inline-flex;align-items:center;gap:22px;font-size:13px;padding:10px 16px;border:1px solid #536984;border-radius:5px;text-decoration:none;background:#1d2b3d;white-space:nowrap}main{max-width:1180px;margin:auto;padding:0 32px}.hero{padding:70px 0 50px;max-width:900px}.eyebrow,.section-number{font:10px/1.6 ui-monospace,monospace;letter-spacing:1.2px;color:var(--accent)}h1,h2,h3,h4{line-height:1.2}h1{font-size:clamp(35px,4.4vw,56px);letter-spacing:-1.8px;font-weight:500;margin:18px 0 24px}h1 span{color:var(--muted)}.lede{font-size:20px;line-height:1.65;max-width:720px;color:#ccd5e2}.article-meta{font-size:11px;color:var(--muted)}.reading-layout{display:grid;grid-template-columns:215px minmax(0,1fr);gap:65px}.contents{position:sticky;top:30px;align-self:start;font-size:12px}.contents ol{list-style:none;padding:0;margin:20px 0;border-left:1px solid var(--line)}.contents li{margin:0}.contents li a{display:block;padding:8px 0 8px 15px;text-decoration:none;color:var(--muted)}.contents li a:hover{color:var(--text);border-left:1px solid var(--accent);margin-left:-1px}.contents-return{display:inline-block;margin-top:14px;font-size:11px}article{min-width:0}article section{padding:40px 0;border-top:1px solid var(--line)}article section:first-of-type{border-top:0}h2{font-size:30px;letter-spacing:-.6px;font-weight:500;margin:12px 0 22px}h3{font-size:20px;font-weight:500;margin:30px 0 15px}h4{font-size:12px;font-weight:500;color:var(--muted);margin:0 0 12px}p{margin:0 0 20px}article p,article li{color:#c7d1df}strong{color:var(--text);font-weight:600}var{font-family:serif;font-size:1.1em}code{font-family:ui-monospace,monospace;font-size:.83em;overflow-wrap:anywhere}.paper-card{padding:24px 28px;border:1px solid #41536c;border-left:3px solid var(--accent);border-radius:5px;background:#182332}.paper-card p:last-of-type{font-size:14px;line-height:1.8;margin:12px 0}.paper-card>a{font-size:12px}.constraint-grid{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:14px;margin:25px 0 5px}.constraint-grid>div{border:1px solid var(--line);border-radius:6px;padding:17px}.constraint-grid strong{display:block;font-size:13px;margin-bottom:7px}.constraint-grid span{font-size:12px;line-height:1.7;color:var(--muted);display:block}.equation{background:#171f2a;border:1px solid var(--line);border-radius:6px;padding:22px 16px;margin:23px 0;text-align:center;overflow-x:auto;font:21px/1.8 ui-monospace,monospace;white-space:nowrap;color:#dbe8ff}.equation-note{font-size:13px;color:var(--muted)}.technical-detail{background:var(--panel);border-radius:6px;padding:18px 20px;font-size:14px}.technical-detail summary{cursor:pointer;color:var(--accent);font-size:13px}.technical-detail[open] summary{margin-bottom:20px}.technical-detail p:last-child{margin-bottom:0}.interactive-figure{margin:28px 0;padding:22px;background:var(--panel);border:1px solid #46566b;border-radius:8px}.figure-heading{display:flex;align-items:center;justify-content:space-between;gap:16px}.figure-heading h3{margin:0 0 12px;font-size:17px}.figure-heading .eyebrow{font-size:8px;white-space:nowrap}.interactive-figure>p{font-size:13px}.demo-panels{display:grid;grid-template-columns:1fr 1fr;gap:18px}.demo-panels svg{display:block;width:100%;height:auto;border:1px solid var(--line);border-radius:4px;background:#111822}.demo-controls{display:grid;grid-template-columns:1fr 1fr;gap:12px 20px;margin:18px 0;font-size:12px}.demo-controls label{display:flex;align-items:center;gap:10px;flex-wrap:wrap}.demo-controls input[type=range]{min-width:0;width:100%;accent-color:var(--accent)}.demo-controls .gate-control{align-self:center}.demo-controls input[type=checkbox]{accent-color:var(--accent);width:17px;height:17px}.demo-controls button{justify-self:end;color:var(--text);background:#263346;border:1px solid #536984;border-radius:4px;font-size:12px;padding:7px 12px}.demo-status{font-size:13px;color:var(--good);padding:12px;background:#1c2b27;border-radius:4px;min-height:68px;margin-bottom:12px}.demo-status[data-tone=warn]{color:var(--warn);background:#322b21}.demo-status[data-tone=bad]{color:#f19b99;background:#352328}.demo-legend{display:flex;flex-wrap:wrap;list-style:none;gap:7px 16px;font-size:10px;padding:0;margin:0}.demo-legend li{display:flex;align-items:center;gap:6px}.demo-legend i{width:9px;height:9px;display:inline-block;border-radius:2px}.legend-reachable{background:#446d61}.legend-enclosed{background:#ab8956}.legend-blocked{background:#49303a}figcaption{font-size:11px;line-height:1.8;color:var(--muted);margin-top:18px}.comparison-scroll{overflow-x:auto;margin:25px 0;border:1px solid var(--line);border-radius:6px;scrollbar-color:#61738d #151b24;scrollbar-width:thin}.comparison{border-collapse:collapse;width:100%;font-size:12px;min-width:540px;line-height:1.8}.comparison th,.comparison td{padding:17px;vertical-align:top;text-align:left;border-bottom:1px solid var(--line)}.comparison th{font-weight:500;color:var(--text)}.comparison thead{background:#223044}.comparison td{color:var(--muted)}.comparison tbody th{width:20%}.comparison td:last-child{width:45%}.comparison tr:last-child>*{border-bottom:0}.metric-definitions{margin:25px 0}.metric-definitions>div{display:grid;grid-template-columns:190px 1fr;gap:25px;padding:17px 0;border-bottom:1px solid var(--line);font-size:13px}.metric-definitions dt{font-weight:500}.metric-definitions dd{margin:0;color:var(--muted)}.limits{padding-left:20px}.limits li{margin-bottom:18px}.reference-links{display:flex;gap:16px;flex-wrap:wrap;font-size:13px}.project-note{margin-top:20px}.site-footer{font-size:11px;border-top:1px solid var(--line);color:var(--muted);margin-top:45px}.site-footer a{color:var(--muted)}@media (max-width:1000px){.reading-layout{grid-template-columns:170px minmax(0,1fr);gap:35px}.site-header,.site-footer{padding-inline:25px}.hero{padding-top:45px}.constraint-grid{gap:8px}.constraint-grid>div{padding:12px}}@media (max-width:760px){main{padding:0 22px}.site-header{padding:20px 22px;flex-wrap:wrap}.brand{font-size:23px}.tool-link{font-size:11px;padding:8px 10px;gap:10px}.hero{padding:35px 0 25px}.lede{font-size:17px}.reading-layout{display:block}.contents{position:static;margin-bottom:30px}.contents ol{display:grid;grid-template-columns:1fr 1fr;margin:14px 0}.contents li a{padding-block:6px}.contents-return{display:none}.paper-card{padding:20px}h2{font-size:26px}.constraint-grid{grid-template-columns:1fr}.constraint-grid>div{padding:13px 16px}.constraint-grid strong{margin-bottom:4px}.metric-definitions>div{grid-template-columns:1fr;gap:7px}.interactive-figure{padding:16px}.figure-heading{display:block}.figure-heading .eyebrow{display:block;margin-bottom:10px}.equation{font-size:16px}.demo-panels{gap:10px}.demo-controls{gap:14px}.demo-status{min-height:90px}.article-meta{line-height:1.9}article section{padding:32px 0}.site-footer{padding-inline:22px}}@media (max-width:400px){.site-header{gap:15px}.contents ol,.demo-panels{grid-template-columns:1fr}.demo-panels svg{max-width:300px;margin:auto}.demo-controls{grid-template-columns:1fr}.demo-controls button{justify-self:start}h1{font-size:34px}main{padding-inline:18px}}@media (forced-colors:active){:root,.comparison-scroll{scrollbar-color:auto}.demo-legend i{border:1px solid CanvasText}}.local-flow{margin:28px 0}.delivery-step{display:grid;gap:5px;padding:17px 20px;border:1px solid #536984;border-radius:6px;background:#1b2a3e;font-size:13px}.delivery-step span{color:var(--muted);font-size:12px}.device-boundary{border:1px solid #436957;border-radius:6px;background:#17231f;padding:20px;margin-top:16px}.device-boundary .eyebrow{color:var(--good);margin-bottom:16px}.execution-flow{display:grid;grid-template-columns:1fr 1fr;gap:20px;list-style:none;padding:0;margin:0}.execution-flow li{display:grid;gap:5px;font-size:13px}.execution-flow span{font-size:12px;line-height:1.8;color:#b7c9c0}.verification-steps{padding-left:23px}.verification-steps li{padding-left:5px;margin-bottom:20px}.verification-steps code{overflow-wrap:anywhere}@media (max-width:560px){.execution-flow{grid-template-columns:1fr}.device-boundary{padding:17px}}.local-check{margin:25px 0}.sr-only{position:absolute;width:1px;height:1px;margin:-1px;padding:0;overflow:hidden;clip-path:inset(50%);white-space:nowrap;border:0}.site-header>.tool-link{margin-left:auto}@media (max-width:560px){.site-header>.brand{flex:1}.site-header>.tool-link{order:3;flex-basis:100%;justify-content:center;margin:0;white-space:normal;text-align:center}.site-header{gap:12px}.site-header .langpick select{padding-inline:3px;min-height:28px;font-size:10px}}