/* A mix of the reference posts: a centered SkySynth-style hero and TL;DR, serif headings and a contents
   rail after OpenPerfAgent, Schema-style section markers and bracketed key diagrams, and varied figure
   treatments (tinted panels, white cards, plain charts). Brand colors from the logos. */
@font-face{font-family:"Source Serif 4";src:url(fonts/SourceSerif4-Variable.woff2) format("woff2");font-weight:200 900;font-style:normal;font-display:swap}
@font-face{font-family:"Source Serif 4";src:url(fonts/SourceSerif4-Variable-Italic.woff2) format("woff2");font-weight:200 900;font-style:italic;font-display:swap}
@font-face{font-family:Geist;src:url(fonts/Geist-Variable.woff2) format("woff2");font-weight:100 900;font-display:swap}
@font-face{font-family:"Geist Mono";src:url(fonts/GeistMono-Variable.woff2) format("woff2");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:Inter;src:url(fonts/InterVariable.ttf) format("truetype");font-weight:100 900;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}

/* Chart hues were checked with the dataviz palette validator (see README). */
:root{
  color-scheme:light;
  --sans:Inter,Geist,system-ui,-apple-system,"Segoe UI",sans-serif;
  --serif:"Source Serif 4",Georgia,"Times New Roman",serif;
  --mono:"Geist Mono",JBM,ui-monospace,SFMono-Regular,Menlo,monospace;
  --bg:#fcfcfd;--panel:#eef3fa;--panel2:#f4f7fb;--card:#ffffff;
  --ink:#14161a;--ink2:#2a2f37;--muted:#5d6570;--faint:#8a919b;--rule:#dcdfe3;--rule2:#ebedf0;
  --bg2:var(--panel2);--bg3:#e9edf3;
  --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:#14161a;--tip-ink:#ffffff;--tip-muted:#b9c0ca;
  --code-kw:#7350c3;--code-tac:#00796f;--code-ty:#2865c6;--code-num:#a8640c;--code-com:#7d8794;
  --shadow:0 1px 2px rgba(16,24,40,.04),0 10px 28px rgba(16,24,40,.06);
}
:root[data-theme="dark"]{
  color-scheme:dark;
  --bg:#0f1115;--panel:#172133;--panel2:#1c2840;--card:#141922;
  --ink:#eceef1;--ink2:#cfd4db;--muted:#a1a8b2;--faint:#727a85;--rule:#2a2f38;--rule2:#20252d;
  --bg3:#222a36;
  --blue:#6e9cf2;--teal:#2fb5a7;--purple:#a38aea;--amber:#e0a246;--red:#e0675d;--green:#3fb27a;
  --blue-bg:#14223a;--blue-bd:#2c4775;--teal-bg:#0f2726;--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:#eceef1;--tip-ink:#0f1115;--tip-muted:#4b5563;
  --code-kw:#a991ec;--code-tac:#3cc0b2;--code-ty:#7ea6f0;--code-num:#e0a85a;--code-com:#7d8794;
  --shadow:0 1px 2px rgba(0,0,0,.3),0 10px 28px rgba(0,0,0,.25);
}

*{box-sizing:border-box}
html{scroll-behavior:smooth;scroll-padding-top:84px}
@media (prefers-reduced-motion:reduce){html{scroll-behavior:auto}}
body{margin:0;background:var(--bg);color:var(--ink);font:16.5px/1.7 var(--sans);-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:var(--mono);font-size:.84em}
p code,li code,figcaption code{background:var(--panel);padding:.1em .36em;border-radius:5px;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}

/* ---------- header ---------- */
.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(--rule2)}
.bar-in{max-width:1220px;margin:0 auto;height:60px;padding:0 24px;display:flex;align-items:center;gap:20px}
.brand{display:flex;align-items:center;gap:10px;color:var(--ink);font-weight:700;font-size:16px;letter-spacing:-.015em}
.brand:hover{text-decoration:none}
.bar nav{margin-left:auto;display:flex;align-items:center;gap:6px}
.bar nav a{font:500 14px/1 var(--sans);color:var(--ink2);padding:8px 10px;border-radius:999px}
.bar nav a:hover{color:var(--ink);background:var(--panel2);text-decoration:none}
.bar nav a.cta{background:var(--ink);color:var(--bg);padding:9px 14px;margin-left:6px}
.bar nav a.cta:hover{background:var(--blue);color:#fff}
.icon-btn{width:36px;height:36px;border:1px solid var(--rule);border-radius:999px;background:var(--card);color:var(--ink2);display:grid;place-items:center;cursor:pointer}
.icon-btn:hover{border-color:var(--ink2)}
.icon-btn svg{width:17px;height:17px}
@media (max-width:820px){.bar nav a:not(.cta){display:none}}

/* ---------- hero (centered, after SkySynth) ---------- */
.hero{position:relative;padding:64px 24px 44px;text-align:center;border-bottom:1px solid var(--rule2);
  background:radial-gradient(60% 120% at 12% 0%,color-mix(in srgb,var(--blue) 9%,transparent),transparent 70%),
             radial-gradient(50% 110% at 92% 10%,color-mix(in srgb,var(--teal) 9%,transparent),transparent 70%),
             radial-gradient(45% 90% at 55% 120%,color-mix(in srgb,var(--amber) 7%,transparent),transparent 70%)}
.hero-in{max-width:860px;margin:0 auto}
.hero h1{margin:0 auto 12px;font:600 clamp(34px,5.2vw,54px)/1.1 var(--serif);letter-spacing:-.015em;color:var(--ink);max-width:820px}
.posted{font-size:13.5px;color:var(--muted);margin-bottom:18px}
.deck{font-size:19px;line-height:1.55;color:var(--ink2);margin:0 auto 22px;max-width:700px}
.authors{font-size:15px;color:var(--ink);margin:0 0 6px}
.authors span{margin:0 9px;white-space:nowrap;display:inline-block}
.authors sup,.affil sup{font-size:.68em;color:var(--muted);margin-left:1px}
.affil{font-size:13.5px;color:var(--muted)}
.affil span{margin:0 9px;white-space:nowrap}
.btns{display:flex;flex-wrap:wrap;gap:10px;margin:26px 0 0;justify-content:center}
.btn{display:inline-flex;align-items:center;gap:8px;height:40px;padding:0 18px;font:600 14px/1 var(--sans);border-radius:999px;
  border:1px solid var(--rule);color:var(--ink);background:var(--card);box-shadow:0 1px 2px rgba(16,24,40,.05)}
.btn:hover{text-decoration:none;border-color:var(--ink2)}
.btn.primary{background:#1f3f86;border-color:#1f3f86;color:#fff}
:root[data-theme="dark"] .btn.primary{background:var(--blue);border-color:var(--blue);color:#0f1115}
.btn.primary:hover{background:var(--blue);border-color:var(--blue)}
.btn svg{width:16px;height:16px}

/* ---------- page grid: contents rail + article ---------- */
.page{max-width:1220px;margin:0 auto;padding:34px 24px 64px;display:grid;grid-template-columns:190px minmax(0,780px);gap:64px;justify-content:center}
.toc{position:sticky;top:92px;align-self:start;font-size:13.5px;line-height:1.35;border-left:1px solid var(--rule)}
.toc .ttl{display:block;font:600 11px/1 var(--sans);letter-spacing:.12em;text-transform:uppercase;color:var(--faint);padding:0 0 10px 14px}
.toc a{display:block;color:var(--muted);padding:6px 0 6px 14px;margin-left:-1px;border-left:2px solid transparent}
.toc a:hover{color:var(--ink);text-decoration:none}
.toc a.on{color:var(--ink);font-weight:600;border-left-color:var(--blue)}
.col{min-width:0}
@media (max-width:1150px){.page{grid-template-columns:minmax(0,780px)}.toc{display:none}}

/* ---------- prose ---------- */
h2{color:var(--ink);font:600 30px/1.25 var(--serif);letter-spacing:-.01em;margin:64px 0 16px;display:flex;align-items:center;gap:14px}
h2::before{content:"";flex:none;width:13px;height:13px;border-radius:3px;background:var(--h2c,var(--blue))}
article h2:nth-of-type(5n+2){--h2c:var(--teal)} article h2:nth-of-type(5n+3){--h2c:var(--purple)}
article h2:nth-of-type(5n+4){--h2c:var(--amber)} article h2:nth-of-type(5n){--h2c:var(--red)}
h2:has(.h2-mark)::before{display:none}
h2 .h2-mark{flex:none;width:34px;height:34px}
h3{color:var(--ink);font:650 19px/1.35 var(--sans);letter-spacing:-.01em;margin:36px 0 8px}
p{margin:0 0 17px;color:var(--ink2)}
ul.leads{padding-left:0;list-style:none;margin:0 0 16px}
ul.leads li{position:relative;padding-left:24px;margin-bottom:12px;color:var(--ink2)}
ul.leads li::before{content:"";position:absolute;left:4px;top:.68em;width:8px;height:8px;border-radius:2px;background:var(--c,var(--blue))}

/* TL;DR: tinted note with an accent rule (after SkySynth) */
.tldr{background:var(--amber-bg);border-left:3px solid var(--amber);border-radius:0 14px 14px 0;padding:20px 24px 8px;margin:28px 0 34px}
.tldr .lbl{font:700 12.5px/1 var(--sans);letter-spacing:.1em;text-transform:uppercase;color:var(--amber);margin-bottom:14px}
.tldr ul{margin:0;padding:0;list-style:none}
.tldr li{margin:0 0 12px;padding-left:20px;position:relative;font-size:15.5px;line-height:1.62;color:var(--ink2)}
.tldr li::before{content:"";position:absolute;left:0;top:.6em;width:8px;height:8px;border-radius:50%;background:var(--c)}

/* ---------- figures: tinted panels, white cards, plain charts, bracketed key diagrams ---------- */
figure{margin:36px 0 40px;padding:0;position:relative}
.wide{width:min(960px,calc(100vw - 48px))}
@media (max-width:1150px){.wide{width:100%}}
.fig-tint{background:var(--panel2);border-radius:16px;padding:22px 24px 18px}
.fig-card{background:var(--card);border:1px solid var(--rule);border-radius:16px;box-shadow:var(--shadow);padding:22px 24px 18px}
.fig-plain{border-top:1px solid var(--rule);border-bottom:1px solid var(--rule);padding:22px 0 16px}
.fig-media video{border-radius:14px;box-shadow:var(--shadow)}
.fig-bracket{--bc:var(--teal)}
.fig-bracket.b-purple{--bc:var(--purple)}
.fig-bracket::before,.fig-bracket::after{content:"";position:absolute;top:-10px;bottom:-10px;width:16px;border:2px solid var(--bc);pointer-events:none}
.fig-bracket::before{left:-12px;border-right:0}
.fig-bracket::after{right:-12px;border-left:0}
.frame{background:transparent;border:0;padding:0;position:relative}
.fig-top{display:flex;align-items:center;justify-content:space-between;gap:12px;margin-bottom:12px;flex-wrap:wrap}
figcaption{font:400 14px/1.62 var(--sans);color:var(--muted);margin:16px 0 0}
.fig-plain figcaption{margin-top:14px}
figcaption .fl{font-weight:700;color:var(--ink);margin-right:4px}
figcaption b{color:var(--ink);font-weight:600}
svg.diagram{display:block;width:100%;height:auto;overflow:visible}
svg text{font-family:var(--sans)}
video{display:block;width:100%;background:#000}

/* ---------- stats and cards ---------- */
.stats{display:grid;grid-template-columns:repeat(3,1fr);gap:14px;margin:26px 0 10px}
.stat{padding:16px 18px 14px;background:var(--card);border:1px solid var(--rule);border-radius:14px}
.stat .v{font:700 34px/1.05 var(--sans);letter-spacing:-.03em;color:var(--blue)}
.stat:nth-child(2) .v{color:var(--teal)} .stat:nth-child(3) .v{color:var(--purple)}
.stat .v small{font-size:19px;color:var(--faint);font-weight:600;letter-spacing:-.01em}
.stat .k{font:400 13px/1.45 var(--sans);color:var(--muted);margin-top:8px}
@media (max-width:640px){.stats{grid-template-columns:1fr}}
.cards{display:grid;grid-template-columns:repeat(3,1fr);gap:14px;margin:24px 0 28px}
.card{padding:18px 18px 16px;display:flex;flex-direction:column;background:var(--card);border:1px solid var(--rule);border-top:3px solid var(--c);border-radius:14px}
.card .k{font:700 11.5px/1 var(--sans);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.6;margin:0 0 12px;color:var(--ink2)}
.card .x{margin-top:auto;font-size:26px;font-weight:700;color:var(--ink);letter-spacing:-.02em}
.card .x small{font:400 12.5px/1 var(--sans);color:var(--muted);letter-spacing:0;margin-left:6px}
.cards.wide{width:min(960px,calc(100vw - 48px))}
@media (max-width:860px){.cards,.cards.wide{grid-template-columns:1fr;width:100%}}

/* ---------- code ---------- */
.code{background:var(--panel2);border:1px solid var(--rule2);border-radius:14px;margin:26px 0 12px;overflow:hidden}
.code-head{display:flex;align-items:center;gap:4px;padding:8px 12px 0;border-bottom:1px solid var(--rule2);background:var(--card)}
.code-head .file{font:400 12px/1 var(--mono);color:var(--muted);margin-left:auto}
.code-head button{font:600 13px/1 var(--sans);color:var(--muted);background:none;border:0;border-bottom:2px solid transparent;padding:9px 10px 10px;cursor:pointer}
.code-head button.on{color:var(--ink);border-bottom-color:var(--blue)}
.code pre{margin:0;padding:16px 20px 18px;overflow:auto;font:400 12.8px/1.62 var(--mono);color:var(--ink);tab-size:2;
  font-variant-ligatures:none;font-feature-settings:"liga" 0,"calt" 0}
.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}
.stack .cap{font:600 12px/1 var(--sans);letter-spacing:.06em;text-transform:uppercase;color:var(--muted);padding:16px 20px 0}
.stack .cap.sep{border-top:1px solid color-mix(in srgb,var(--ink) 10%,transparent)}
.stack pre{padding-top:10px}
details.proof{border-top:1px solid color-mix(in srgb,var(--ink) 10%,transparent)}
details.proof summary{cursor:pointer;padding:11px 20px;font:600 13px/1 var(--sans);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(--blue)}
details.proof[open] summary::before{content:"–"}
.code-note{font:400 13px/1.6 var(--sans);color:var(--muted);margin:8px 0 18px}

/* ---------- tooltip ---------- */
#tip{position:fixed;z-index:60;pointer-events:none;background:var(--tip-bg);color:var(--tip-ink);padding:8px 11px;border-radius:8px;
  font:400 12.5px/1.45 var(--sans);opacity:0;transform:translateY(4px);transition:opacity .08s,transform .08s;max-width:300px}
#tip.on{opacity:1;transform:none}
#tip .v{font:600 14px/1.3 var(--sans);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}

/* ---------- citation and references (Schema-style cite block) ---------- */
.citeas{background:var(--panel2);border-radius:14px;padding:18px 22px;margin:20px 0 12px;font:400 14px/1.6 var(--sans);color:var(--ink2)}
.citeas .lbl{font:700 11.5px/1 var(--sans);letter-spacing:.1em;text-transform:uppercase;color:var(--blue);margin-bottom:10px}
.bib{position:relative}
.bib pre{white-space:pre-wrap}
.copy{position:absolute;top:10px;right:10px;font:600 12px/1 var(--sans);color:var(--ink2);background:var(--card);border:1px solid var(--rule);border-radius:999px;
  padding:7px 11px;cursor:pointer;display:flex;align-items:center;gap:6px}
.copy svg{width:13px;height:13px}
ol.refs{padding-left:0;list-style:none;counter-reset:r;font-size:14px;line-height:1.55;color:var(--ink2)}
ol.refs li{counter-increment:r;position:relative;padding-left:40px;margin-bottom:9px}
ol.refs li::before{content:"[" counter(r) "]";position:absolute;left:0;font:400 12.5px/1.75 var(--mono);color:var(--faint)}
ol.refs li a{font-style:italic}
a.cite{font:500 .8em var(--sans)}
.allposts{display:flex;align-items:center;margin:44px 0 0}
.allposts a{border:1px solid var(--rule);border-radius:999px;color:var(--ink2);font:600 13px/1 var(--sans);padding:9px 14px}
.allposts a:hover{text-decoration:none;border-color:var(--ink2)}

footer{max-width:1220px;margin:0 auto;padding:28px 24px 40px;font:400 13px/1.6 var(--sans);color:var(--muted);display:flex;align-items:center;gap:20px;flex-wrap:wrap;border-top:1px solid var(--rule)}
.foot-marks{display:flex;gap:22px;flex-wrap:wrap}
.foot-marks span{display:inline-flex;align-items:center;gap:8px;color:var(--ink);font:600 13.5px/1 var(--sans)}
.ic{display:inline-flex;width:1em;height:1em}
.ic svg{width:100%;height:100%}
.formula{text-align:center;font-size:clamp(16px,4.3vw,21px);margin:20px 0 22px;padding:16px 10px;background:var(--panel2);border-radius:14px;white-space:nowrap;overflow-x:auto}

/* ---------- diagrams and charts ---------- */
.dg .t{font-size:14px;font-weight:600;fill:var(--ink)}
.dg .s{font-size:12.5px;font-weight:450;fill:var(--muted)}
.dg .h{font-size:14.5px;font-weight:700}
.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:700;fill:#fff}
.dg .card{fill:var(--card);stroke-width:1.4}
.dg .wire{fill:none;stroke-width:2.1;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}}
svg .pr-svg{font-family:var(--sans);font-style:normal;font-size:1.02em;font-weight:620}
.chart .axis{font:400 11.5px var(--sans);fill:var(--muted);font-variant-numeric:tabular-nums}
.chart .grid{stroke:color-mix(in srgb,var(--ink) 9%,transparent);stroke-width:1}
.chart .base{stroke:var(--faint);stroke-width:1}
.chart .lbl{font:500 12.5px var(--sans);fill:var(--ink2)}
.chart .ttl{font:700 12px var(--sans);letter-spacing:.08em;text-transform:uppercase;fill:var(--ink)}
.chart .sub{font:400 12px var(--sans);fill:var(--muted)}
.chart .ref{stroke:var(--ink);stroke-width:1.5}
.chart .m{font-family:LMR,LMM,serif;font-style:italic;fill:var(--ink)}
.chart line,.chart text,.chart .ref{pointer-events:none}

/* brand marks: light and dark variants follow the theme toggle */
.logo-d{display:none}
:root[data-theme="dark"] .logo-l{display:none}
:root[data-theme="dark"] .logo-d{display:inline-block}
.brand img{flex:none}
@media (max-width:520px){.brand{font-size:14.5px;line-height:1.15}.bar-in{padding:0 16px;gap:12px}.bar nav a.cta{padding:8px 12px}}

/* ---------- explainers: buttons, readouts, steppers ---------- */
.btnset{display:inline-flex;gap:0;flex-wrap:wrap}
.btnset button,.xbtn{font:500 11.5px/1 var(--mono);letter-spacing:.06em;text-transform:uppercase;color:var(--ink2);background:transparent;
  border:1px solid var(--ink2);padding:8px 11px;cursor:pointer;margin-right:-1px}
.btnset button:hover,.xbtn:hover{color:var(--blue);border-color:var(--blue);position:relative;z-index:1}
.btnset button.on,.xbtn.on{background:var(--ink);color:var(--bg);border-color:var(--ink)}
.xrow{display:flex;align-items:center;gap:12px;flex-wrap:wrap;margin:0 0 14px}
.xrow label{font:500 11.5px/1 var(--mono);letter-spacing:.06em;text-transform:uppercase;color:var(--muted)}
.xrow input[type=range]{width:200px;accent-color:var(--blue)}
.xrow .val{font:600 13px var(--mono);color:var(--ink);min-width:54px}
.xin{font:400 13.5px/1 var(--mono);color:var(--ink);background:var(--card);border:1px solid var(--ink2);padding:7px 9px;width:230px}
.xin:focus{outline:2px solid var(--blue);outline-offset:-1px}
.readout{font:400 13.5px/1.55 var(--sans);color:var(--ink2)}
.readout b{font-family:var(--sans);color:var(--ink)}
.big{font:700 30px/1 var(--sans);letter-spacing:-.03em;color:var(--ink)}
.stepbar{display:flex;gap:16px;align-items:flex-start;margin-top:14px;padding-top:14px;border-top:1px solid color-mix(in srgb,var(--ink) 12%,transparent)}
.steptext{font:14px/1.55 var(--sans);color:var(--ink2);min-height:44px}
.steptext b{color:var(--ink)}
.steptext .k{font:500 11px/1 var(--mono);letter-spacing:.08em;text-transform:uppercase;color:var(--blue);display:block;margin-bottom:6px}
@media (max-width:640px){.stepbar{flex-direction:column}}

/* LIS explorer */
.lx-grid{display:grid;grid-template-columns:1fr 1.15fr;gap:16px}
@media (max-width:860px){.lx-grid{grid-template-columns:1fr}}
.lx-pane{background:var(--card);border:1px solid var(--rule);border-radius:12px;padding:14px 16px 12px;min-width:0}
.lx-pane .label{font:700 11px/1.3 var(--sans);letter-spacing:.08em;text-transform:uppercase;color:var(--muted);margin-bottom:10px}
.lx-pane svg{display:block;width:100%;height:auto}
.lx-cells{display:grid;gap:4px;margin:4px 0}
.lx-cell{height:40px;display:grid;place-items:center;font:600 15px var(--sans);border:1px solid var(--rule);border-radius:8px;background:var(--card);color:var(--ink);position:relative}
.lx-cell.val{background:var(--panel2)}
.lx-cell.len{color:transparent}
.lx-cell.len.done{background:var(--teal);border-color:var(--teal);color:#fff}
.lx-cell.cur{outline:2px solid var(--amber);outline-offset:1px;z-index:1}
.lx-cell.scan{background:color-mix(in srgb,var(--ink) 6%,var(--card))}
.lx-cell.cand{background:color-mix(in srgb,var(--amber) 22%,var(--card));border-color:var(--amber)}
.lx-cell.len.done.best{background:var(--amber);border-color:var(--amber)}
.lx-idx{font:400 10.5px var(--mono);color:var(--faint);text-align:center}
.lx-rowlab{font:700 10.5px/1 var(--sans);letter-spacing:.06em;text-transform:uppercase;color:var(--muted);margin:10px 0 2px}
.lx-eq{margin-top:14px;display:flex;gap:18px;align-items:center;flex-wrap:wrap;background:var(--card);border:1px solid var(--rule);border-radius:12px;padding:12px 16px}
.lx-eq .ok{color:var(--green);font:600 13.5px var(--sans)}
.label .math,.xrow label .math,.tag .math,.fl .math,.steptext .k .math,.lx-rowlab .math{text-transform:none;letter-spacing:0;font-size:1.25em}
.steptext .inv{display:block;font:500 12.5px/1.4 var(--mono);color:var(--teal);margin-bottom:4px}
.stepbar .btnset{flex:none;flex-wrap:nowrap}
.lx-rowlab{margin:12px 0 6px}
.lx-cell.cur{outline:none;box-shadow:inset 0 0 0 2px var(--amber)}
.xrow input[type=range]{width:170px}
.legend-item{display:inline-flex;align-items:center;gap:6px;cursor:default;padding:2px 4px}
.legend-item:hover,.legend-item:focus{color:var(--ink);outline:none;background:color-mix(in srgb,var(--ink) 6%,transparent)}
.stepbar{min-height:68px}
/* Phones: figures run edge to edge; the scripts draw narrow layouts (NARROW in blog.js). */
@media (max-width:640px){.page{padding-left:16px;padding-right:16px}.hero{padding:40px 16px 30px}
  figure.wide,.fig-tint,.fig-card{width:auto;margin-left:-16px;margin-right:-16px;padding:16px 12px 14px;border-radius:0;border-left:0;border-right:0}
  .fig-plain{padding-left:0;padding-right:0}.fig-bracket::before,.fig-bracket::after{display:none}}
.cards.two{grid-template-columns:repeat(2,1fr)}
@media (max-width:860px){.cards.two{grid-template-columns:1fr}}
#citecard{position:fixed;z-index:70;max-width:min(380px,calc(100vw - 16px));background:var(--card);color:var(--ink);border:1px solid var(--rule);border-radius:12px;
  box-shadow:0 10px 30px rgba(20,22,26,.14);padding:12px 14px 13px;opacity:0;visibility:hidden;transform:translateY(3px);transition:opacity .12s,transform .12s,visibility .12s}
#citecard.on{opacity:1;visibility:visible;transform:none}
#citecard .k{font:700 11px/1.3 var(--sans);letter-spacing:.08em;text-transform:uppercase;color:var(--blue);margin-bottom:6px}
#citecard .t{display:block;font:600 14px/1.4 var(--sans);color:var(--ink);text-decoration:none}
#citecard a.t:hover{text-decoration:underline}
#citecard .au{font-size:12.5px;line-height:1.45;color:var(--muted);margin-top:5px}
.authors a{color:inherit;text-decoration:none;border-bottom:1px solid var(--rule)}
.authors a:hover{color:var(--blue);border-bottom-color:var(--blue)}
.dg path.flowp{fill:none;stroke-width:3.6;stroke-linecap:round;stroke-dasharray:0 22;opacity:.8;animation:wireflow 1.4s linear infinite;animation-play-state:paused;pointer-events:none}
.dg.flowing path.flowp{animation-play-state:running}
@keyframes wireflow{to{stroke-dashoffset:-22}}
@media (prefers-reduced-motion:reduce){.dg path.flowp{display:none}}