@font-face{font-family:Inter;src:url(fonts/InterVariable.ttf) format("truetype");font-weight:100 900;font-display:swap}
@font-face{font-family:JBM;src:url(fonts/JetBrainsMono-Regular.ttf) format("truetype");font-weight:400;font-display:swap}
@font-face{font-family:JBM;src:url(fonts/JetBrainsMono-SemiBold.ttf) format("truetype");font-weight:600;font-display:swap}
@font-face{font-family:LMR;src:url(fonts/lmroman10-regular.otf) format("opentype");font-style:normal;font-display:swap}
@font-face{font-family:LMR;src:url(fonts/lmroman10-italic.otf) format("opentype");font-style:italic;font-display:swap}
@font-face{font-family:LMM;src:url(fonts/latinmodern-math.otf) format("opentype");font-display:swap}

/* Light tokens. Chart hues were checked with the dataviz palette validator
   (categorical: lightness band, chroma floor, CVD and normal-vision separation, contrast;
   ordinal teal ramp: monotone lightness, visible steps, light end clears the surface). */
:root{
  color-scheme:light;
  --bg:#ffffff;--bg2:#f6f8fb;--bg3:#eef2f7;--ink:#13202e;--ink2:#2e4157;--muted:#5b6c81;--faint:#8797a9;
  --rule:#e1e7ee;--rule2:#edf1f5;
  --blue:#2865c6;--teal:#008a7f;--purple:#7350c3;--amber:#bf7310;--red:#c63f35;--green:#15824a;
  --blue-bg:#edf4ff;--blue-bd:#bdd3f6;--teal-bg:#e8f6f3;--teal-bd:#aedcd4;--purple-bg:#f3effb;--purple-bd:#d6c9f0;
  --amber-bg:#fff5e7;--amber-bd:#efd2a8;--red-bg:#fdeeec;--red-bd:#f0c0ba;--green-bg:#e8f6ee;--green-bd:#b2dec4;
  --ord0:#d5dce5;--ord1:#72bfb4;--ord2:#3aa89b;--ord3:#008a7f;--ord4:#00544d;
  --tip-bg:#13202e;--tip-ink:#ffffff;--tip-muted:#b8c4d2;
  --code-kw:#7350c3;--code-tac:#00796f;--code-ty:#2865c6;--code-num:#a8640c;--code-com:#8190a3;
  --shadow:0 1px 0 rgba(19,32,46,.03),0 10px 30px rgba(19,32,46,.06);
}
:root[data-theme="dark"]{
  color-scheme:dark;
  --bg:#0f1620;--bg2:#141e2a;--bg3:#1a2633;--ink:#e8eef5;--ink2:#c7d2de;--muted:#9aabbd;--faint:#6f8297;
  --rule:#253345;--rule2:#1b2735;
  --blue:#4f86e8;--teal:#0f9e91;--purple:#8f70dc;--amber:#bf7b20;--red:#e0675d;--green:#3fb27a;
  --blue-bg:#13233b;--blue-bd:#2b4774;--teal-bg:#0e2826;--teal-bd:#1f5a54;--purple-bg:#1e1933;--purple-bd:#40356f;
  --amber-bg:#2a2012;--amber-bd:#5c4420;--red-bg:#36191a;--red-bd:#6b302d;--green-bg:#11291c;--green-bd:#2a5a40;
  --ord0:#2f3b4b;--ord1:#155e57;--ord2:#13887d;--ord3:#2fb5a7;--ord4:#8fe0d4;
  --tip-bg:#e8eef5;--tip-ink:#0f1620;--tip-muted:#4b5c70;
  --code-kw:#a991ec;--code-tac:#3cc0b2;--code-ty:#7ea6f0;--code-num:#e0a85a;--code-com:#6f8297;
  --shadow:0 1px 0 rgba(0,0,0,.2),0 10px 30px rgba(0,0,0,.25);
}

*{box-sizing:border-box}
html{scroll-behavior:smooth;scroll-padding-top:76px}
@media (prefers-reduced-motion:reduce){html{scroll-behavior:auto}}
body{margin:0;background:var(--bg);color:var(--ink2);font:17px/1.72 Inter,system-ui,-apple-system,"Segoe UI",sans-serif;
  -webkit-font-smoothing:antialiased;text-rendering:optimizeLegibility}
a{color:var(--blue);text-decoration:none;text-underline-offset:3px}
a:hover{text-decoration:underline}
b,strong{color:var(--ink);font-weight:650}
code,.mono{font-family:JBM,ui-monospace,monospace;font-size:.86em}
p code,li code,figcaption code{background:var(--bg3);border-radius:5px;padding:.1em .35em;color:var(--ink)}
.math{font-family:LMR,LMM,serif;font-style:italic;font-size:1.13em;letter-spacing:0;color:var(--ink)}
.mr{font-family:LMR,LMM,serif;font-style:normal;font-size:1.13em;color:var(--ink)}
.pr{font-size:.74em;position:relative;top:-.14em;margin-left:.02em;margin-right:.03em}

/* top bar */
.bar{position:sticky;top:0;z-index:30;background:color-mix(in srgb,var(--bg) 88%,transparent);backdrop-filter:blur(10px);
  border-bottom:1px solid var(--rule)}
.bar-in{max-width:1180px;margin:0 auto;height:56px;padding:0 20px;display:flex;align-items:center;gap:14px}
.brand{display:flex;align-items:center;gap:10px;color:var(--ink);font-weight:720;font-size:15.5px;letter-spacing:-.01em}
.brand:hover{text-decoration:none}
.brand-dots{display:flex;gap:4px}
.brand-dots i{width:9px;height:9px;border-radius:50%}
.bar nav{margin-left:auto;display:flex;gap:4px}
.bar nav a{color:var(--muted);font-size:14px;font-weight:560;padding:6px 10px;border-radius:8px}
.bar nav a:hover{color:var(--ink);background:var(--bg3);text-decoration:none}
.icon-btn{width:36px;height:36px;border-radius:10px;border:1px solid var(--rule);background:var(--bg);color:var(--ink2);
  display:grid;place-items:center;cursor:pointer}
.icon-btn:hover{border-color:var(--faint)}
.icon-btn svg{width:18px;height:18px}
@media (max-width:720px){.bar nav{display:none}.icon-btn{margin-left:auto}}

/* hero */
.hero{position:relative;padding:64px 20px 40px;text-align:center;overflow:hidden}
.hero::before{content:"";position:absolute;inset:0 0 auto 0;height:100%;z-index:-1;
  background:radial-gradient(60% 80% at 20% 0%,var(--blue-bg),transparent 70%),radial-gradient(50% 70% at 85% 10%,var(--teal-bg),transparent 70%),
  radial-gradient(40% 60% at 55% 0%,var(--purple-bg),transparent 70%)}
.eyebrow{font:600 12px/1 JBM,monospace;letter-spacing:.12em;text-transform:uppercase;color:var(--faint)}
.hero h1{margin:16px auto 14px;max-width:880px;color:var(--ink);font-size:clamp(34px,5.2vw,52px);line-height:1.08;font-weight:800;letter-spacing:-.032em}
.deck{max-width:700px;margin:0 auto;font-size:19px;line-height:1.55;color:var(--muted)}
.authors{margin:26px auto 4px;max-width:760px;font-size:16px;color:var(--ink);font-weight:560}
.authors span{white-space:nowrap;margin:0 9px}
.authors sup,.affil sup{font-size:.68em;color:var(--muted);margin-left:1px}
.affil{font-size:14.5px;color:var(--muted)}
.affil span{margin:0 8px;white-space:nowrap}
.note{font-size:12.5px;color:var(--faint);margin-top:4px}
.btns{display:flex;justify-content:center;flex-wrap:wrap;gap:10px;margin-top:22px}
.btn{display:inline-flex;align-items:center;gap:8px;height:40px;padding:0 18px;border-radius:999px;font-size:14.5px;font-weight:620;
  border:1px solid var(--rule);background:var(--bg);color:var(--ink);box-shadow:var(--shadow)}
.btn:hover{text-decoration:none;border-color:var(--faint)}
.btn.primary{background:var(--ink);color:var(--bg);border-color:var(--ink)}
.btn svg{width:16px;height:16px}

/* layout */
.page{position:relative;max-width:1180px;margin:0 auto;padding:8px 20px 80px}
.col{max-width:740px;margin:0 auto}
.toc{position:fixed;top:96px;left:max(20px,calc(50vw - 690px));width:180px;font-size:13px;line-height:1.4;display:none}
.toc .ttl{font:600 11px/1 JBM,monospace;letter-spacing:.12em;text-transform:uppercase;color:var(--faint);margin-bottom:12px}
.toc a{display:block;color:var(--muted);padding:5px 0 5px 12px;border-left:2px solid var(--rule)}
.toc a:hover{color:var(--ink);text-decoration:none}
.toc a.on{color:var(--ink);border-left-color:var(--blue);font-weight:600}
@media (min-width:1360px){.toc{display:block}}

h2{color:var(--ink);font-size:29px;line-height:1.2;letter-spacing:-.022em;font-weight:760;margin:64px 0 16px;display:flex;align-items:center;gap:12px}
h2 .n{flex:none;width:30px;height:30px;border-radius:50%;background:var(--c,var(--blue));color:#fff;display:grid;place-items:center;font-size:15px;font-weight:760;letter-spacing:0}
h3{color:var(--ink);font-size:19.5px;letter-spacing:-.012em;margin:36px 0 8px;font-weight:700}
p{margin:0 0 18px}
ul.leads{padding-left:0;list-style:none;margin:0 0 18px}
ul.leads li{position:relative;padding-left:22px;margin-bottom:10px}
ul.leads li::before{content:"";position:absolute;left:4px;top:.72em;width:7px;height:7px;border-radius:50%;background:var(--c,var(--blue))}

.tldr{border:1px solid var(--blue-bd);background:var(--blue-bg);border-radius:16px;padding:22px 26px 6px;margin:8px 0 28px}
.tldr .lbl{font:600 11.5px/1 JBM,monospace;letter-spacing:.12em;text-transform:uppercase;color:var(--blue);margin-bottom:14px}
.tldr ul{margin:0;padding:0;list-style:none}
.tldr li{margin:0 0 14px;padding-left:22px;position:relative;font-size:16.5px;line-height:1.6}
.tldr li::before{content:"";position:absolute;left:3px;top:.62em;width:8px;height:8px;border-radius:2px;background:var(--c)}

/* figures */
figure{margin:30px 0 34px}
.wide{width:min(1040px,calc(100vw - 40px));margin-left:calc((min(740px,100vw - 40px) - min(1040px,100vw - 40px))/2)}
.frame{background:var(--bg);border:1px solid var(--rule);border-radius:16px;padding:20px 22px;box-shadow:var(--shadow);position:relative}
.frame.flush{padding:0;overflow:hidden}
.fig-top{display:flex;align-items:center;justify-content:space-between;gap:12px;margin-bottom:12px;flex-wrap:wrap}
.tag{font:600 11px/1 JBM,monospace;letter-spacing:.1em;text-transform:uppercase;color:var(--faint);display:flex;align-items:center;gap:8px}
.tag::before{content:"";width:6px;height:6px;border-radius:50%;background:var(--teal)}
figcaption{font-size:14.5px;line-height:1.6;color:var(--muted);margin:12px 4px 0}
figcaption b{color:var(--ink)}
svg.diagram{display:block;width:100%;height:auto;overflow:visible}
svg text{font-family:Inter,system-ui,sans-serif}
.seg{display:inline-flex;border:1px solid var(--rule);border-radius:999px;padding:3px;background:var(--bg2)}
.seg button{font:600 13px Inter,sans-serif;color:var(--muted);background:none;border:0;border-radius:999px;padding:6px 14px;cursor:pointer}
.seg button.on{background:var(--bg);color:var(--ink);box-shadow:0 1px 3px rgba(19,32,46,.12)}
details.tbl{margin-top:12px;font-size:13.5px}
details.tbl summary{cursor:pointer;color:var(--muted);font-weight:600;width:max-content}
details.tbl .scroll{max-height:320px;overflow:auto;margin-top:8px;border:1px solid var(--rule);border-radius:10px}
details.tbl table{border-collapse:collapse;width:100%;font-variant-numeric:tabular-nums}
details.tbl th,details.tbl td{padding:6px 12px;text-align:left;border-bottom:1px solid var(--rule2);white-space:nowrap}
details.tbl th{position:sticky;top:0;background:var(--bg2);color:var(--ink);font-weight:650}
details.tbl td.num,details.tbl th.num{text-align:right}

/* stat tiles */
.stats{display:grid;grid-template-columns:repeat(3,1fr);gap:14px;margin:24px 0 8px}
.stat{border:1px solid var(--rule);border-radius:14px;padding:16px 18px;background:var(--bg)}
.stat .v{font-size:38px;font-weight:760;letter-spacing:-.03em;color:var(--ink);line-height:1.05}
.stat .v small{font-size:20px;color:var(--faint);font-weight:650;letter-spacing:-.01em}
.stat .k{font-size:13.5px;color:var(--muted);margin-top:6px;line-height:1.4}
.stat .sw{display:inline-block;width:10px;height:10px;border-radius:3px;margin-right:6px;vertical-align:0}
@media (max-width:640px){.stats{grid-template-columns:1fr}}

/* cards */
.cards{display:grid;grid-template-columns:repeat(3,1fr);gap:14px;margin:22px 0 26px}
.card{border:1px solid var(--rule);border-radius:14px;padding:18px 18px 16px;background:var(--bg);box-shadow:var(--shadow)}
.card .k{font:600 11px/1 JBM,monospace;letter-spacing:.1em;text-transform:uppercase;color:var(--c);margin-bottom:10px}
.card h4{margin:0 0 6px;color:var(--ink);font-size:16px;line-height:1.35}
.card p{font-size:14.5px;line-height:1.55;margin:0 0 10px;color:var(--muted)}
.card .x{font-size:26px;font-weight:760;color:var(--ink);letter-spacing:-.02em}
.card .x small{font-size:13px;color:var(--muted);font-weight:560;letter-spacing:0;margin-left:4px}
@media (max-width:860px){.cards{grid-template-columns:1fr}}

/* code */
.code{border:1px solid var(--rule);border-radius:14px;background:var(--bg2);overflow:hidden;margin:22px 0 10px}
.code-head{display:flex;align-items:center;gap:4px;padding:8px 10px;border-bottom:1px solid var(--rule);background:var(--bg)}
.code-head .file{font:600 12.5px JBM,monospace;color:var(--muted);margin-left:auto;padding-right:6px}
.code-head button{font:600 13px Inter,sans-serif;color:var(--muted);background:none;border:0;border-radius:8px;padding:6px 11px;cursor:pointer}
.code-head button.on{background:var(--bg3);color:var(--ink)}
.code pre{margin:0;padding:16px 20px;overflow:auto;font:13.6px/1.62 JBM,ui-monospace,monospace;color:var(--ink);tab-size:2}
.code pre[hidden]{display:none}
.tk-kw{color:var(--code-kw);font-weight:600}.tk-tac{color:var(--code-tac)}.tk-ty{color:var(--code-ty)}
.tk-num{color:var(--code-num)}.tk-com{color:var(--code-com);font-style:italic}
.code .hl{background:color-mix(in srgb,var(--amber) 13%,transparent);display:inline-block;width:100%;margin:0 -20px;padding:0 20px}

/* side-by-side example */
.duo{display:grid;grid-template-columns:1fr 1fr;gap:0;border-top:1px solid var(--rule)}
.duo > div{min-width:0}
.duo > div + div{border-left:1px solid var(--rule)}
.duo .cap{font:600 11px/1 JBM,monospace;letter-spacing:.1em;text-transform:uppercase;color:var(--faint);padding:14px 20px 0}
.duo pre{padding-top:10px}
@media (max-width:760px){.duo{grid-template-columns:1fr}.duo > div + div{border-left:0;border-top:1px solid var(--rule)}}
details.proof{border-top:1px solid var(--rule)}
details.proof summary{cursor:pointer;padding:11px 20px;font-size:13.5px;font-weight:600;color:var(--muted);list-style:none}
details.proof summary::-webkit-details-marker{display:none}
details.proof summary::before{content:"▸";display:inline-block;width:16px;color:var(--faint);transition:transform .15s}
details.proof[open] summary::before{transform:rotate(90deg)}

/* slider figure */
.ctrl{display:flex;align-items:center;gap:14px;font-size:14px;color:var(--muted);flex-wrap:wrap}
.ctrl input[type=range]{width:240px;accent-color:var(--teal)}
.ctrl .val{font:600 14px JBM,monospace;color:var(--ink);min-width:52px}

/* tooltip */
#tip{position:fixed;z-index:60;pointer-events:none;background:var(--tip-bg);color:var(--tip-ink);border-radius:9px;padding:8px 11px;
  font-size:12.5px;line-height:1.45;box-shadow:0 8px 24px rgba(0,0,0,.18);opacity:0;transform:translateY(4px);transition:opacity .08s,transform .08s;max-width:280px}
#tip.on{opacity:1;transform:none}
#tip .v{font-size:15px;font-weight:700;font-variant-numeric:tabular-nums}
#tip .m{color:var(--tip-muted)}

.hit{fill:transparent;cursor:pointer}
.focusable:focus{outline:none}
.focusable:focus-visible .mark{stroke:var(--ink);stroke-width:2}

/* bibtex + refs */
.bib{position:relative}
.bib pre{white-space:pre-wrap}
.copy{position:absolute;top:10px;right:10px;font:600 12px Inter,sans-serif;color:var(--muted);background:var(--bg);border:1px solid var(--rule);
  border-radius:8px;padding:6px 10px;cursor:pointer;display:flex;align-items:center;gap:6px}
.copy svg{width:14px;height:14px}
ol.refs{padding-left:0;list-style:none;counter-reset:r;font-size:14.5px;line-height:1.55;color:var(--muted)}
ol.refs li{counter-increment:r;position:relative;padding-left:40px;margin-bottom:10px}
ol.refs li::before{content:"[" counter(r) "]";position:absolute;left:0;color:var(--faint);font-variant-numeric:tabular-nums}
a.cite{font-size:.86em;font-variant-numeric:tabular-nums}
footer{border-top:1px solid var(--rule);padding:28px 20px;text-align:center;font-size:13.5px;color:var(--faint)}
video{display:block;width:100%;border-radius:12px;background:#000}
.ic{display:inline-flex;width:1em;height:1em}
.ic svg{width:100%;height:100%}

/* diagram text and shapes */
.dg .t{font-size:14px;font-weight:620;fill:var(--ink)}
.dg .s{font-size:12.5px;font-weight:500;fill:var(--muted)}
.dg .h{font-size:14.5px;font-weight:720}
.dg .m{font-family:LMR,LMM,serif;font-style:italic;fill:var(--ink)}
.dg .mr{font-family:LMR,LMM,serif;font-style:normal;fill:var(--ink)}
.dg .num{font-size:12px;font-weight:760;fill:#fff}
.dg .card{fill:var(--bg);stroke-width:1.5}
.dg .wire{fill:none;stroke-width:2.2;stroke-linecap:round;stroke-linejoin:round}
.dg .ico{fill:none;stroke:currentColor;stroke-width:2;stroke-linecap:round;stroke-linejoin:round}
.dg .blue{color:var(--blue)} .dg .teal{color:var(--teal)} .dg .purple{color:var(--purple)} .dg .amber{color:var(--amber)}
.dg .red{color:var(--red)} .dg .green{color:var(--green)}
@media (prefers-reduced-motion:reduce){.dg .anim{display:none}}
.chart .axis{font-size:12px;fill:var(--muted);font-variant-numeric:tabular-nums}
.chart .grid{stroke:var(--rule2);stroke-width:1}
.chart .base{stroke:var(--faint);stroke-width:1}
.chart .lbl{font-size:12.5px;fill:var(--ink2);font-weight:600}
.chart .ttl{font-size:13.5px;fill:var(--ink);font-weight:700}
.chart .sub{font-size:12.5px;fill:var(--muted)}
.chart .ref{stroke:var(--ink);stroke-width:1.5}
svg .pr-svg{font-family:Inter,sans-serif;font-style:normal;font-size:1.02em;font-weight:620}

.hero h1{text-wrap:balance}
.formula{text-align:center;font-size:clamp(16px,4.3vw,21px);margin:22px 0 24px;white-space:nowrap;overflow-x:auto}
.code pre{font-variant-ligatures:none;font-feature-settings:"liga" 0,"calt" 0}
.stack .cap{font:600 11px/1 JBM,monospace;letter-spacing:.1em;text-transform:uppercase;color:var(--faint);padding:16px 20px 0}
.stack .cap.sep{border-top:1px solid var(--rule)}
.stack pre{padding-top:10px;font-size:13px}
.chart .m{font-family:LMR,LMM,serif;font-style:italic;fill:var(--ink)}
.card{display:flex;flex-direction:column}
.card .x{margin-top:auto}
@media (max-width:760px){
  .frame{overflow-x:auto}
  svg.dg,#f4,#f7{min-width:720px}
  .code-head .file{display:none}
  .code-head button{padding:6px 8px;font-size:12.5px}
  h2{font-size:25px}
}
.cards.wide{margin-left:calc((min(740px,100vw - 40px) - min(1040px,100vw - 40px))/2)}
.chart line,.chart text,.chart .ref{pointer-events:none}
h2{text-wrap:balance}