/* © 2026 Giuseppe Muschetta. All rights reserved.
   Shared style of the case-study pages (/projects/<slug>/): same tokens, fonts and components as the home page. */
:root{
  /* light: warm newsprint paper */
  --bg:#f8efdf; --paper:#fdf7ec; --paper-2:#f1e4cc; --ink:#1f1b16; --ink-2:#4a4237; --muted:#6f6354;
  --rule:#ddcbac; --accent:#1f4a8a; --accent-ink:#ffffff; --hl:#c2410c; --hl-ink:#ffffff;
  --shadow:0 1px 0 rgba(80,60,20,.06),0 10px 30px -12px rgba(80,60,20,.18);
  color-scheme:light;
}
@media (prefers-color-scheme: dark){
  :root:not([data-theme="light"]){
    --bg:#0e1013; --paper:#15181d; --paper-2:#1c2027; --ink:#efe9dd; --ink-2:#cfc8ba; --muted:#9a9384;
    --rule:#2a2f37; --accent:#8fb0ff; --accent-ink:#0b1430; --hl:#ff8a4c; --hl-ink:#1b1006;
    --shadow:none; color-scheme:dark;
  }
}
:root[data-theme="dark"]{
  --bg:#0e1013; --paper:#15181d; --paper-2:#1c2027; --ink:#efe9dd; --ink-2:#cfc8ba; --muted:#9a9384;
  --rule:#2a2f37; --accent:#8fb0ff; --accent-ink:#0b1430; --hl:#ff8a4c; --hl-ink:#1b1006;
  --shadow:none; color-scheme:dark;
}
*{box-sizing:border-box;margin:0;padding:0}
html{scroll-behavior:smooth}
@media (prefers-reduced-motion: reduce){html{scroll-behavior:auto}}
body{background:var(--bg);color:var(--ink);font:16px/1.65 Inter,system-ui,sans-serif;-webkit-font-smoothing:antialiased;text-rendering:optimizeLegibility}
a{color:inherit}
.wrap{max-width:1160px;margin:0 auto;padding:0 28px}
@media (max-width:640px){.wrap{padding:0 16px}}
.nw{white-space:nowrap}

/* ---------- nav ---------- */
header.nav{position:sticky;top:0;z-index:20;background:color-mix(in srgb,var(--bg) 82%,transparent);backdrop-filter:saturate(1.2) blur(12px);border-bottom:1px solid var(--rule)}
header.nav .wrap{display:flex;align-items:center;gap:24px;height:64px}
.mark{display:flex;align-items:center;gap:10px;text-decoration:none;font-weight:600;letter-spacing:-.01em}
.mark i{font:600 italic 1.05rem/1 Fraunces,serif;width:34px;height:34px;border-radius:50%;display:grid;place-items:center;background:var(--ink);color:var(--bg)}
nav.links{display:flex;gap:4px;margin-left:auto}
nav.links a{font-size:.9rem;color:var(--ink-2);text-decoration:none;padding:8px 12px;border-radius:999px;white-space:nowrap}
nav.links .l-short{display:none}
nav.links a:hover{background:var(--paper-2);color:var(--ink)}
.icon-btn{width:40px;height:40px;border-radius:50%;border:1px solid var(--rule);background:var(--paper);color:var(--ink);cursor:pointer;display:grid;place-items:center;font-size:1rem}
.icon-btn:hover{border-color:var(--muted)}
@media (max-width:640px){
  .mark span{font-size:.95rem}
  header.nav .wrap{gap:8px}
  nav.links a{padding:8px 8px;font-size:.86rem}
  nav.links a.hide-s{display:none}
  nav.links .l-long{display:none}
  nav.links .l-short{display:inline}
}

/* ---------- buttons ---------- */
.cta{display:flex;flex-wrap:wrap;gap:10px;margin-top:30px}
.btn{display:inline-flex;align-items:center;gap:8px;padding:12px 20px;border-radius:999px;font-weight:600;font-size:.95rem;text-decoration:none;border:1px solid var(--rule);background:var(--paper);color:var(--ink);transition:border-color .15s,transform .15s,background .15s,color .15s}
.btn:hover{border-color:var(--ink);transform:translateY(-1px)}
.btn.primary{background:var(--ink);border-color:var(--ink);color:var(--bg)}
.btn.primary:hover{background:var(--accent);border-color:var(--accent);color:var(--accent-ink)}
.btn small{font:500 .74rem "JetBrains Mono",monospace;opacity:.7}

/* ---------- hero ---------- */
.p-hero{display:grid;grid-template-columns:1.05fr .95fr;gap:56px;align-items:center;padding:56px 0 8px}
.p-hero>*{min-width:0}
.crumb{display:flex;flex-wrap:wrap;gap:6px 14px;font:500 .78rem "JetBrains Mono",monospace;color:var(--muted)}
.crumb a{color:var(--muted);text-decoration:none}
.crumb a:hover{color:var(--ink)}
.crumb .area{color:var(--hl)}
.p-hero h1{font:700 clamp(2.3rem,4.6vw,3.7rem)/1.03 Fraunces,serif;letter-spacing:-.02em;margin-top:16px;font-variation-settings:"opsz" 144}
.p-hero .lede{margin-top:20px;font-size:1.14rem;color:var(--ink-2);max-width:560px}
figure.viz{margin:0;background:var(--paper);border:1px solid var(--rule);border-radius:22px;padding:14px;box-shadow:var(--shadow)}
figure.viz canvas{display:block;width:100%;height:380px;border-radius:14px;background:var(--bg);cursor:pointer}
figure.viz figcaption{display:flex;justify-content:space-between;gap:6px 12px;flex-wrap:wrap;padding:12px 6px 2px;font:500 .76rem "JetBrains Mono",monospace;color:var(--muted)}
figure.viz figcaption b{color:var(--ink);font-weight:500}
.legend{display:flex;flex-wrap:wrap;gap:6px 16px;padding:8px 6px 0;font:500 .72rem "JetBrains Mono",monospace;color:var(--muted)}
.legend i{display:inline-block;vertical-align:middle;margin-right:7px}
.legend .lg-it{width:8px;height:8px;border-radius:50%;background:var(--accent)}
.legend .lg-pr{width:18px;border-top:2px dashed var(--hl)}
.legend .lg-bu{width:11px;height:11px;transform:rotate(45deg);border:1.5px solid var(--accent);background:color-mix(in srgb,var(--accent) 12%,transparent)}
.legend .lg-lo{width:16px;height:10px;border-radius:50%;border:1.5px solid var(--muted)}
@media (max-width:900px){.p-hero{grid-template-columns:1fr;gap:36px;padding-top:36px}figure.viz canvas{height:300px}}

/* ---------- facts box (like "At a glance" on the home page) ---------- */
.facts{margin-top:48px;background:var(--paper);border:1px solid var(--rule);border-radius:24px;overflow:hidden;box-shadow:var(--shadow)}
.facts dl{display:grid;grid-template-columns:repeat(4,1fr);gap:1px;background:var(--rule)}
.facts dl>div{background:var(--paper);padding:20px 26px 22px;min-width:0}
.facts dt{font:500 .72rem "JetBrains Mono",monospace;text-transform:uppercase;letter-spacing:.08em;color:var(--muted)}
.facts dd{margin-top:8px;font-weight:600;line-height:1.45}
.facts dd small{display:block;margin-top:3px;font-size:.9rem;font-weight:400;color:var(--ink-2)}
@media (max-width:900px){.facts dl{grid-template-columns:1fr 1fr}}
@media (max-width:560px){.facts dl{grid-template-columns:1fr}.facts dl>div{padding:14px 18px 16px}.facts dd{margin-top:6px}}

/* ---------- numbers ---------- */
.numbers{display:grid;grid-template-columns:repeat(5,1fr);border-top:1px solid var(--ink);border-bottom:1px solid var(--rule);margin-top:48px}
.num{padding:22px 18px 20px;border-right:1px solid var(--rule)}
.num:last-child{border-right:0}
.num b{display:block;font:600 clamp(1.7rem,2.6vw,2.3rem)/1 Fraunces,serif;letter-spacing:-.02em;font-variant-numeric:tabular-nums;white-space:nowrap}
.num b sup{font-size:.55em;vertical-align:.75em;margin-left:.04em}
.num span{display:block;margin-top:8px;font-size:.82rem;color:var(--muted);line-height:1.35}
@media (max-width:900px){.numbers{grid-template-columns:repeat(2,1fr)}.num{border-bottom:1px solid var(--rule)}.num:nth-child(2n){border-right:0}.num:last-child{grid-column:1/-1;border-bottom:0}}

/* ---------- article with a table of contents ---------- */
.p-body{display:grid;grid-template-columns:190px minmax(0,1fr);gap:64px;padding:88px 0 24px}
.toc{position:sticky;top:96px;align-self:start}
.toc .t-head{font:500 .72rem "JetBrains Mono",monospace;text-transform:uppercase;letter-spacing:.08em;color:var(--muted);margin-bottom:12px}
.toc ol{list-style:none;border-left:1px solid var(--rule)}
.toc a{display:flex;gap:10px;padding:6px 0 6px 16px;margin-left:-1px;border-left:2px solid transparent;font-size:.9rem;color:var(--muted);text-decoration:none;transition:color .2s,border-color .2s}
.toc a span{font:500 .74rem/1.9 "JetBrains Mono",monospace;opacity:.8}
.toc a:hover{color:var(--ink)}
.toc a.on{color:var(--ink);border-left-color:var(--hl)}
@media (max-width:1000px){.p-body{grid-template-columns:1fr;padding-top:64px}.toc{display:none}}
article.cs{max-width:780px;min-width:0}
.cs>section{padding-bottom:80px;scroll-margin-top:88px}
.cs .no{font:500 .8rem "JetBrains Mono",monospace;color:var(--hl)}
.cs h2{font:600 clamp(1.8rem,3.3vw,2.45rem)/1.1 Fraunces,serif;letter-spacing:-.02em;margin-top:8px}
.cs h3{font:600 1.2rem/1.3 Fraunces,serif;margin-top:30px}
.cs p{margin-top:16px;font-size:1.06rem;color:var(--ink-2)}
.cs p b,.cs li b{color:var(--ink);font-weight:600}
/* no single words left alone on the last line */
.cs p,.cs li,.note,figcaption,.tbl-cap,.chart-cap,.p-hero .lede,.outro p,.facts dd{text-wrap:pretty}
.cs h2,.p-hero h1,.outro h2{text-wrap:balance}
.cs code.i{font:400 .9em "JetBrains Mono",monospace;background:var(--paper-2);padding:1px 6px;border-radius:6px;color:var(--ink)}
@media (max-width:760px){.cs>section{padding-bottom:60px}}

/* math (MathML, rendered by the browser) */
math{font-family:"STIX Two Math","Latin Modern Math","Cambria Math",math}
p math,li math{font-size:1.08em}
.math{margin-top:22px;padding:20px 22px;background:var(--paper);border:1px solid var(--rule);border-radius:16px;overflow-x:auto;color:var(--ink)}
.math math{font-size:1.32em}
.math .eq{display:flex;flex-wrap:wrap;align-items:center;justify-content:center;gap:10px 1.5em}
.math .eq math{margin:0}
.math mtd{padding:.18em .5em}
@media (max-width:560px){.math{padding:16px 12px}.math math{font-size:1.1em}}
.math .tag{font:500 .72rem "JetBrains Mono",monospace;color:var(--muted);text-transform:uppercase;letter-spacing:.06em;text-align:center;margin-top:12px}

/* numbered steps */
ol.steps{list-style:none;margin-top:22px;counter-reset:st;display:grid;gap:12px}
ol.steps li{position:relative;padding:14px 18px 14px 58px;background:var(--paper);border:1px solid var(--rule);border-radius:14px;color:var(--ink-2)}
ol.steps li::before{counter-increment:st;content:counter(st);position:absolute;left:16px;top:13px;width:28px;height:28px;border-radius:50%;display:grid;place-items:center;font:600 .8rem "JetBrains Mono",monospace;background:var(--ink);color:var(--bg)}
ol.steps li.pc::before{background:var(--hl);color:var(--hl-ink)}

/* bullet points */
ul.points{margin-top:18px;display:grid;gap:12px;list-style:none}
ul.points li{position:relative;padding-left:26px;color:var(--ink-2);font-size:1.03rem}
ul.points li::before{content:"";position:absolute;left:4px;top:.62em;width:8px;height:8px;border-radius:50%;background:var(--hl)}

/* callout */
.note{margin-top:24px;padding:16px 20px;border-left:3px solid var(--hl);background:var(--paper);border-radius:0 14px 14px 0;color:var(--ink-2)}
.note b{color:var(--ink)}

/* figures from the repository (matplotlib, always on white) */
figure.plot{margin:26px 0 0}
figure.plot .frame{display:block;background:#fff;border:1px solid var(--rule);border-radius:16px;overflow:hidden;padding:10px}
figure.plot img{display:block;width:100%;height:auto}
figure.plot figcaption,.chart-cap{margin-top:10px;font-size:.88rem;color:var(--ink-2);line-height:1.5}
details.more{margin-top:18px;border:1px solid var(--rule);border-radius:16px;background:var(--paper)}
details.more summary{cursor:pointer;list-style:none;display:flex;align-items:center;gap:12px;font-weight:600;padding:14px 18px}
details.more summary::-webkit-details-marker{display:none}
details.more summary::before{content:"+";flex:none;width:26px;height:26px;border-radius:50%;border:1px solid var(--rule);display:grid;place-items:center;font-weight:500;transition:transform .2s}
details.more[open] summary::before{transform:rotate(45deg)}
details.more summary small{font:500 .74rem "JetBrains Mono",monospace;color:var(--muted);white-space:nowrap}
@media (max-width:520px){details.more summary small{display:none}}
details.more figure.plot{margin:0;padding:0 14px 14px}

/* tables */
.tbl-wrap{margin-top:22px;overflow-x:auto;border:1px solid var(--rule);border-radius:16px;background:var(--paper)}
table.tbl{width:100%;border-collapse:collapse;font-size:.92rem;font-variant-numeric:tabular-nums}
.tbl th{font:500 .7rem "JetBrains Mono",monospace;text-transform:uppercase;letter-spacing:.06em;color:var(--muted);text-align:right;padding:13px 16px 11px;border-bottom:1px solid var(--ink);white-space:nowrap}
.tbl td{padding:11px 16px;border-top:1px solid var(--rule);text-align:right;white-space:nowrap;color:var(--ink-2)}
.tbl tr:first-child td{border-top:0}
.tbl th:first-child,.tbl td:first-child{text-align:left}
.tbl td:first-child{font-weight:600;color:var(--ink)}
.tbl td small{color:var(--muted);font-size:.8rem}
.tbl .hi{color:var(--accent);font-weight:700}
.tbl th.nt{text-transform:none;font-size:.78rem;letter-spacing:0}
@media (max-width:560px){.tbl{font-size:.8rem}.tbl th{font-size:.6rem;letter-spacing:.04em;white-space:normal;vertical-align:bottom}.tbl th.nt{font-size:.7rem;white-space:nowrap}.tbl th,.tbl td{padding:9px 7px}.tbl th:first-child,.tbl td:first-child{padding-left:12px;white-space:normal}.tbl th:last-child,.tbl td:last-child{padding-right:12px}.tbl td small{display:none}.tbl .ph{display:none}}
.tbl-cap{margin-top:10px;font-size:.88rem;color:var(--ink-2)}

/* dumbbell chart: two runtimes per dataset on a log axis */
.dumb{margin-top:22px;padding:20px 22px 16px;background:var(--paper);border:1px solid var(--rule);border-radius:16px}
.dumb-legend{display:flex;flex-wrap:wrap;gap:6px 18px;font:500 .74rem "JetBrains Mono",monospace;color:var(--muted);margin-bottom:10px}
.dumb-legend i{display:inline-block;width:11px;height:11px;border-radius:50%;vertical-align:-1px;margin-right:7px}
.dumb-row,.dumb-axis{display:grid;grid-template-columns:190px minmax(0,1fr) 74px;gap:16px;align-items:center}
.dumb-row{padding:12px 0;border-top:1px solid var(--rule)}
.dumb-row:first-of-type{border-top:0}
.dl b{display:block;font-weight:600;font-size:.95rem}
.dl small{display:block;font:400 .74rem "JetBrains Mono",monospace;color:var(--muted);margin-top:2px}
.dt{position:relative;height:30px;background:linear-gradient(90deg,var(--rule) 1px,transparent 1px) 0 0/20% 100% repeat-x;border-right:1px solid var(--rule)}
.dt .seg{position:absolute;top:50%;height:2px;margin-top:-1px;background:color-mix(in srgb,var(--ink) 30%,transparent)}
.dt .d{position:absolute;top:50%;width:13px;height:13px;margin:-6.5px 0 0 -6.5px;border-radius:50%}
.d.ipm,.dumb-legend .ipm{background:var(--accent)}
.d.cvx,.dumb-legend .cvx{background:var(--paper);box-shadow:inset 0 0 0 2.5px var(--hl)}
.dx{font:600 1.25rem/1 Fraunces,serif;color:var(--accent);text-align:right;font-variant-numeric:tabular-nums}
.dumb-axis{margin-top:4px}
.dumb-axis .ticks{grid-column:2;position:relative;height:18px;font:500 .7rem "JetBrains Mono",monospace;color:var(--muted)}
.dumb-axis .ticks span{position:absolute;transform:translateX(-50%);white-space:nowrap}
.dumb-axis .ticks span:first-child{transform:none}
.dumb-axis .ticks span:last-child{transform:translateX(-100%)}
@media (max-width:640px){
  .dumb{padding:16px 14px 12px}
  .dumb-row,.dumb-axis{grid-template-columns:minmax(0,1fr) 58px;gap:6px 12px}
  .dl{grid-column:1/-1}
  .dumb-axis .ticks{grid-column:1}
  .dumb-axis .ticks span:nth-child(even){display:none}
}

/* code blocks styled like an editor, light and dark (same as the home page) */
.code{--c-bg:#fffefb;--c-bar:#f3eadb;--c-tx:#24292f;--c-kw:#cf222e;--c-fn:#8250df;--c-str:#0a3069;--c-num:#0550ae;--c-com:#6e7781;--c-self:#953800;--c-bi:#0550ae;--c-mod:#116329;--c-ln:#a8a29a}
@media (prefers-color-scheme: dark){:root:not([data-theme="light"]) .code{--c-bg:#0d1117;--c-bar:#161b22;--c-tx:#e6edf3;--c-kw:#ff7b72;--c-fn:#d2a8ff;--c-str:#a5d6ff;--c-num:#79c0ff;--c-com:#8b949e;--c-self:#ffa657;--c-bi:#79c0ff;--c-mod:#7ee787;--c-ln:#484f58}}
:root[data-theme="dark"] .code{--c-bg:#0d1117;--c-bar:#161b22;--c-tx:#e6edf3;--c-kw:#ff7b72;--c-fn:#d2a8ff;--c-str:#a5d6ff;--c-num:#79c0ff;--c-com:#8b949e;--c-self:#ffa657;--c-bi:#79c0ff;--c-mod:#7ee787;--c-ln:#484f58}
figure.code{margin:26px 0 0;display:flex;flex-direction:column;min-width:0}
.code .code-bar{display:flex;align-items:center;gap:7px;padding:10px 14px;background:var(--c-bar);border:1px solid var(--rule);border-bottom:0;border-radius:14px 14px 0 0;font:500 .74rem "JetBrains Mono",monospace;color:var(--c-com)}
.code .code-bar i{width:10px;height:10px;border-radius:50%;background:#ff5f57}.code .code-bar i:nth-child(2){background:#febc2e}.code .code-bar i:nth-child(3){background:#28c840}
.code .code-bar span{margin-left:8px;white-space:nowrap;overflow:hidden;text-overflow:ellipsis}.code .code-bar b{color:var(--c-fn);font-weight:500}
.code pre{flex:1;margin:0;padding:14px 0;background:var(--c-bg);border:1px solid var(--rule);border-radius:0 0 14px 14px;overflow-x:auto;font:400 .74rem/1.65 "JetBrains Mono",monospace;color:var(--c-tx);counter-reset:ln;tab-size:4}
.code code{display:block;min-width:max-content}
.code .ln{display:block;padding:0 18px 0 0;white-space:pre}
.code .ln::before{counter-increment:ln;content:counter(ln);display:inline-block;width:2.6em;margin-right:14px;text-align:right;color:var(--c-ln);user-select:none}
.c-kw{color:var(--c-kw)}.c-fn{color:var(--c-fn)}.c-str{color:var(--c-str)}.c-num{color:var(--c-num)}.c-com{color:var(--c-com);font-style:italic}.c-self{color:var(--c-self)}.c-bi{color:var(--c-bi)}.c-mod{color:var(--c-mod)}
.code figcaption{margin-top:10px;font-size:.88rem;color:var(--ink-2)}

/* closing card */
.outro{background:var(--ink);color:var(--bg);border-radius:28px;padding:64px 56px;position:relative;overflow:hidden}
.outro h2{font:600 clamp(2rem,4.6vw,3.2rem)/1.05 Fraunces,serif;letter-spacing:-.025em;max-width:720px}
.outro h2 em{color:#e35d22}
.outro p,.cs .outro p{margin-top:16px;max-width:620px;color:var(--bg);opacity:.8;font-size:1.06rem}
.outro .cta .btn{background:transparent;color:var(--bg);border-color:color-mix(in srgb,var(--bg) 35%,transparent)}
.outro .cta .btn:hover{border-color:var(--bg)}
.outro .cta .btn.primary{background:var(--bg);color:var(--ink);border-color:var(--bg)}
.outro .cta .btn.primary:hover{background:var(--accent);border-color:var(--accent);color:var(--accent-ink)}
.outro .dots{position:absolute;right:-40px;top:-40px;width:300px;height:300px;opacity:.16;background-image:radial-gradient(currentColor 1.5px,transparent 1.6px);background-size:16px 16px;border-radius:50%}
@media (max-width:640px){.outro{padding:44px 24px;border-radius:22px}}

/* ---------- footer ---------- */
footer{padding:36px 0 52px;display:flex;justify-content:space-between;flex-wrap:wrap;gap:8px 24px;font:500 .78rem "JetBrains Mono",monospace;color:var(--muted)}
footer a{color:var(--muted)}
@media (max-width:760px){footer{flex-direction:column}}

/* reveal on scroll */
.js .reveal{opacity:0;transform:translateY(16px);transition:opacity .6s ease,transform .6s ease}
.js .reveal.in{opacity:1;transform:none}
@media (prefers-reduced-motion: reduce){.js .reveal{opacity:1;transform:none;transition:none}}

/* ---------- shared chart components (native, theme-aware) ---------- */
.panel{margin-top:22px;padding:20px 22px 18px;background:var(--paper);border:1px solid var(--rule);border-radius:16px}
.panel-head{display:flex;flex-wrap:wrap;justify-content:space-between;gap:6px 18px;font:500 .72rem "JetBrains Mono",monospace;text-transform:uppercase;letter-spacing:.08em;color:var(--muted);margin-bottom:12px}
.keys{display:flex;flex-wrap:wrap;gap:4px 14px;text-transform:none;letter-spacing:0;font-size:.74rem}
.keys i{display:inline-block;width:10px;height:10px;border-radius:3px;vertical-align:-1px;margin-right:6px}
.k1{background:var(--accent)}.k2{background:var(--hl)}.k3{background:color-mix(in srgb,var(--ink) 35%,transparent)}
/* horizontal bars: one or more metrics per row */
.hb{display:grid;grid-template-columns:220px minmax(0,1fr);gap:8px 16px;align-items:center;padding:9px 0;border-top:1px solid var(--rule)}
.hb:first-of-type{border-top:0}
.hb-l b{display:block;font-weight:600;font-size:.94rem}
.hb-l small{display:block;font:400 .74rem "JetBrains Mono",monospace;color:var(--muted);margin-top:1px}
.hb-r{display:grid;gap:5px}
.bar{display:grid;grid-template-columns:minmax(0,1fr) 54px;gap:10px;align-items:center}
.bar i{display:block;height:9px;border-radius:5px;background:color-mix(in srgb,var(--rule) 70%,transparent);position:relative;overflow:hidden}
.bar i::after{content:"";position:absolute;inset:0 auto 0 0;width:var(--w);border-radius:5px;background:var(--c,var(--accent))}
.bar b{font:500 .8rem "JetBrains Mono",monospace;color:var(--ink);text-align:right;font-variant-numeric:tabular-nums}
.bar.c2{--c:var(--hl)}.bar.c3{--c:color-mix(in srgb,var(--ink) 35%,transparent)}
.hb-l b[data-tag]::after{content:attr(data-tag);margin-left:8px;font:500 .64rem "JetBrains Mono",monospace;text-transform:uppercase;letter-spacing:.06em;color:var(--hl);vertical-align:1px}
@media (max-width:640px){.hb{grid-template-columns:1fr;gap:6px}}
/* stacked bar */
.stackbar{display:flex;height:34px;border-radius:9px;overflow:hidden;margin-top:6px}
.stackbar span{display:flex;align-items:center;justify-content:center;font:600 .78rem "JetBrains Mono",monospace;color:#fff;min-width:0;white-space:nowrap}
.stack-keys{display:grid;grid-template-columns:repeat(3,1fr);gap:10px 18px;margin-top:14px}
.stack-keys div{font-size:.88rem;color:var(--ink-2);line-height:1.4}
.stack-keys b{display:block;font:600 1.3rem/1.1 Fraunces,serif;color:var(--ink)}
.stack-keys i{display:inline-block;width:10px;height:10px;border-radius:3px;margin-right:7px;vertical-align:0}
@media (max-width:640px){.stack-keys{grid-template-columns:1fr}}
/* cards with a small schematic curve */
.cards{display:grid;grid-template-columns:repeat(3,1fr);gap:12px;margin-top:22px}
@media (max-width:900px){.cards{grid-template-columns:1fr 1fr}}
@media (max-width:520px){.cards{grid-template-columns:1fr}}
.card.sum{background:var(--paper-2);display:flex;flex-direction:column;justify-content:center}
.card.sum b{display:block;font:600 2.2rem/1 Fraunces,serif;color:var(--accent)}
.card.sum p{margin-top:8px}
.card{padding:16px 16px 14px;background:var(--paper);border:1px solid var(--rule);border-radius:16px;min-width:0}
.card svg{display:block;width:100%;height:56px;overflow:visible}
.card svg path{fill:none;stroke:var(--accent);stroke-width:2;stroke-linecap:round;stroke-linejoin:round}
.card svg path.area{fill:color-mix(in srgb,var(--accent) 12%,transparent);stroke:none}
.card h4{font:600 1.05rem/1.25 Fraunces,serif;margin-top:10px}
.card .n{font:500 .74rem "JetBrains Mono",monospace;color:var(--hl);margin-top:3px}
.card p{margin-top:6px;font-size:.88rem;color:var(--ink-2);line-height:1.5}
.card-note{margin-top:10px;font-size:.84rem;color:var(--muted)}
/* small key-value grid for headline results */
.kv{display:grid;grid-template-columns:repeat(3,1fr);gap:1px;background:var(--rule);border:1px solid var(--rule);border-radius:16px;overflow:hidden;margin-top:22px}
.kv div{background:var(--paper);padding:16px 18px}
.kv b{display:block;font:600 1.7rem/1.05 Fraunces,serif;color:var(--accent);font-variant-numeric:tabular-nums}
.kv span{display:block;margin-top:6px;font-size:.86rem;color:var(--ink-2);line-height:1.4}
@media (max-width:640px){.kv{grid-template-columns:1fr 1fr}.kv div:last-child:nth-child(odd){grid-column:1/-1}}
/* dark figures from the notebooks keep their own background */
figure.plot .frame.dark{background:#111}
/* two figures side by side */
.plots2{display:grid;grid-template-columns:1fr 1fr;gap:14px;margin-top:26px;align-items:start}
.plots2 figure.plot{margin:0}
@media (max-width:640px){.plots2{grid-template-columns:1fr}}
/* SHAP-style waterfall drawn in HTML: base value, contributions, prediction */
.wf{display:grid;grid-template-columns:150px minmax(0,1fr) 56px;gap:6px 14px;align-items:center;font-size:.86rem}
.wf>span{color:var(--ink-2);font:400 .78rem "JetBrains Mono",monospace;text-align:right;white-space:nowrap}
.wf>em{font:500 .78rem "JetBrains Mono",monospace;font-style:normal;color:var(--ink);font-variant-numeric:tabular-nums}
.wf>i{position:relative;height:16px;display:block;background:linear-gradient(90deg,var(--rule) 1px,transparent 1px) 0 0/10% 100% repeat-x}
.wf>i b{position:absolute;top:2px;bottom:2px;left:var(--l);width:var(--w);background:var(--hl);border-radius:3px}
.wf>i.base b,.wf>i.out b{background:var(--accent)}
.wf>i.base b{width:2px;border-radius:0}
.wf>i.out b{left:0}
.wf .sep{grid-column:1/-1;border-top:1px solid var(--rule);margin:2px 0}
@media (max-width:560px){.wf{grid-template-columns:104px minmax(0,1fr) 44px;gap:6px 8px}}
/* text demo (NLP preprocessing), same frame as the canvas demos */
.pp{height:380px;border-radius:14px;background:var(--bg);padding:18px 20px;display:flex;flex-direction:column;gap:14px;cursor:pointer;overflow:hidden}
.pp-step{display:flex;gap:10px;align-items:baseline;font:500 .74rem/1.45 "JetBrains Mono",monospace;color:var(--muted);min-height:2.9em}
.pp-step b{flex:none;display:inline-grid;place-items:center;width:20px;height:20px;border-radius:50%;background:var(--ink);color:var(--bg);font-weight:600;font-size:.7rem;line-height:1}
.pp-text{font:400 .95rem/1.85 "JetBrains Mono",monospace;color:var(--ink);word-spacing:.05em}
.pp-text del{color:var(--hl);text-decoration:line-through;text-decoration-thickness:1.5px;opacity:.85}
.pp-text del.soft{color:var(--muted);opacity:.6}
.pp-text ins{text-decoration:none;color:var(--accent);background:color-mix(in srgb,var(--accent) 12%,transparent);border-radius:4px;padding:1px 3px}
.pp-text .neg{color:var(--hl);background:color-mix(in srgb,var(--hl) 12%,transparent);border-radius:4px;padding:1px 3px}
.pp-text .kept{color:var(--ink)}
.pp-text .tag{color:var(--muted)}
.pp-text .chips{display:flex;flex-wrap:wrap;gap:8px}
.pp-text .chip{font-size:.9rem;padding:4px 11px;border-radius:999px;border:1.5px solid var(--accent);color:var(--accent);line-height:1.5}
.pp-text .chip.n{border-color:var(--hl);color:var(--hl)}
@media (max-width:900px){.pp{height:330px}.pp-text{font-size:.86rem;line-height:1.75}}
/* a vertical stack of network layers */
.layers{margin-top:22px;display:grid;gap:6px;max-width:560px}
.layer{display:grid;grid-template-columns:minmax(0,1fr) auto;gap:12px;align-items:center;padding:10px 16px;border:1px solid var(--rule);border-radius:12px;background:var(--paper);position:relative}
.layer+.layer::before{content:"";position:absolute;left:50%;top:-7px;width:1px;height:6px;background:var(--muted)}
.layer b{font-weight:600;font-size:.94rem}
.layer small{display:block;font-size:.82rem;color:var(--ink-2);margin-top:1px}
.layer code{font:500 .74rem "JetBrains Mono",monospace;color:var(--muted);white-space:nowrap}
.layer.emb{border-color:var(--hl)}.layer.rec{border-color:var(--accent)}
/* link to the next case study, after the closing card */
.next-cs{display:flex;align-items:center;justify-content:space-between;gap:18px;margin-top:-48px;margin-bottom:80px;padding:22px 26px;border:1px solid var(--rule);border-radius:20px;background:var(--paper);text-decoration:none;transition:border-color .15s,transform .15s}
.next-cs:hover{border-color:var(--ink);transform:translateY(-1px)}
.next-cs small{display:block;font:500 .74rem "JetBrains Mono",monospace;color:var(--hl);text-transform:uppercase;letter-spacing:.06em}
.next-cs b{display:block;margin-top:4px;font:600 1.25rem/1.25 Fraunces,serif;color:var(--ink)}
.next-cs span{flex:none;font-size:1.4rem;color:var(--accent)}
@media (max-width:760px){.next-cs{margin-top:-28px;margin-bottom:60px;padding:18px 18px}.next-cs b{font-size:1.08rem}}
/* hand-drawn function plot (Yeo-Johnson curves) */
.yjsvg{display:block;width:100%;height:auto}
.yjsvg path{fill:none;stroke-width:2.2;stroke-linejoin:round}
.yjsvg .ax{stroke:var(--rule);stroke-width:1}
.yjsvg text{font:500 12px "JetBrains Mono",monospace;fill:var(--muted)}
/* Kanban demo (WORTH) */
.kb{height:380px;border-radius:14px;background:var(--bg);padding:14px;display:flex;flex-direction:column;gap:10px;cursor:pointer;overflow:hidden}
.kb-head{font:500 .72rem "JetBrains Mono",monospace;color:var(--muted)}
.kb-head b{color:var(--ink);font-weight:500}
.kb-board{flex:1;display:grid;grid-template-columns:repeat(4,1fr);gap:8px;min-height:0}
.kb-col{background:color-mix(in srgb,var(--paper) 80%,transparent);border:1px solid var(--rule);border-radius:10px;padding:8px 6px;display:flex;flex-direction:column;min-width:0}
.kb-col h5{font:500 .64rem "JetBrains Mono",monospace;text-transform:uppercase;letter-spacing:.06em;color:var(--muted);margin:0 2px 8px;white-space:nowrap;overflow:hidden;text-overflow:ellipsis}
.kb-col[data-list="done"] h5{color:var(--accent)}
.kb-cards{display:flex;flex-direction:column;gap:6px}
.kb-card{font:500 .72rem "JetBrains Mono",monospace;color:var(--ink);background:var(--paper);border:1px solid var(--rule);border-left:3px solid var(--hl);border-radius:7px;padding:6px 7px;white-space:nowrap;overflow:hidden;text-overflow:ellipsis;will-change:transform}
.kb-card.done{border-left-color:var(--accent);color:var(--ink-2)}
.kb-card.nope{animation:kbno .6s}
@keyframes kbno{0%,100%{transform:none}20%{transform:translateX(-4px)}40%{transform:translateX(4px)}60%{transform:translateX(-3px)}80%{transform:translateX(2px)}}
.kb-log{height:64px;border-top:1px solid var(--rule);padding-top:8px;display:flex;flex-direction:column;gap:3px;overflow:hidden}
.kb-msg{min-width:0;font:400 .68rem/1.45 "JetBrains Mono",monospace;color:var(--ink-2);white-space:nowrap;overflow:hidden;text-overflow:ellipsis}
.kb-msg:first-child{color:var(--ink)}
.kb-msg b{font-weight:500;color:var(--accent)}
.kb-msg.bad{color:var(--hl)}
@media (max-width:900px){.kb{height:340px}}
/* small cards that describe the parts of a system */
.mech{display:grid;grid-template-columns:1fr 1fr;gap:12px;margin-top:22px}
.mech div{padding:16px 18px;background:var(--paper);border:1px solid var(--rule);border-radius:14px}
.mech b{display:block;font:600 1.05rem Fraunces,serif}
.mech code{font:500 .74rem "JetBrains Mono",monospace;color:var(--hl)}
.mech p{margin-top:6px;font-size:.9rem;color:var(--ink-2);line-height:1.5}
@media (max-width:640px){.mech{grid-template-columns:1fr}}
/* Petri net demo: fired transitions under the canvas */
.pn-wrap{position:relative}
.pn-log{position:absolute;left:14px;right:14px;bottom:12px;display:flex;flex-direction:column;gap:2px;pointer-events:none}
.pn-msg{font:400 .68rem/1.45 "JetBrains Mono",monospace;color:var(--ink-2);white-space:nowrap;overflow:hidden;text-overflow:ellipsis}
.pn-msg:first-child{color:var(--ink)}
.pn-msg b{font-weight:500;margin-right:6px}
.pn-msg b.s{color:var(--hl)}.pn-msg b.i{color:var(--accent)}.pn-msg b.l{color:#0f766e}
:root[data-theme="dark"] .pn-msg b.l{color:#4fd1c0}
@media (prefers-color-scheme: dark){:root:not([data-theme="light"]) .pn-msg b.l{color:#4fd1c0}}
/* scoping demo (OCaml) */
.sc{height:380px;border-radius:14px;background:var(--bg);padding:16px;display:flex;flex-direction:column;gap:12px;cursor:pointer;overflow:hidden}
.sc-code{font:400 .86rem/1.7 "JetBrains Mono",monospace;color:var(--ink-2);background:var(--paper);border:1px solid var(--rule);border-radius:10px;padding:10px 12px}
.sc-code span{display:block;border-radius:5px;padding:0 6px;transition:background .3s,color .3s}
.sc-code span.on{background:color-mix(in srgb,var(--hl) 16%,transparent);color:var(--ink)}
.sc-code i{font-style:normal;color:var(--c-kw,#cf222e)}
.sc-cols{flex:1;display:grid;grid-template-columns:1fr 1fr;gap:10px;min-height:0}
.sc-col{border:1px solid var(--rule);border-radius:10px;padding:10px;display:flex;flex-direction:column;gap:8px;min-width:0}
.sc-col h5{font:500 .66rem "JetBrains Mono",monospace;text-transform:uppercase;letter-spacing:.06em;color:var(--muted);margin:0}
.sc-env{display:flex;flex-direction:column;gap:5px}
.sc-b{font:400 .72rem "JetBrains Mono",monospace;color:var(--ink);background:var(--paper);border:1px solid var(--rule);border-radius:6px;padding:3px 7px;white-space:nowrap;overflow:hidden;text-overflow:ellipsis}
.sc-b b{color:var(--accent);font-weight:500}
.sc-b.old{opacity:.4;text-decoration:line-through}
.sc-res{margin-top:auto;font:500 .74rem/1.4 "JetBrains Mono",monospace;color:var(--hl)}
.sc.done .sc-res{font-weight:600}
@media (max-width:900px){.sc{height:auto;min-height:340px}}
@media (max-width:560px){
  .kb{padding:10px}
  .kb-board{gap:5px}
  .kb-col{padding:7px 4px}
  .kb-col h5{font-size:.54rem;letter-spacing:0;margin:0 1px 6px}
  .kb-card{font-size:.6rem;padding:5px 4px;border-left-width:2px}
}
/* sharing demo and representations diagram (Secure Data Container) */
.sdv,.reps{--ua:var(--accent);--ub:var(--hl);--uc:#0f766e}
:root[data-theme="dark"] .sdv,:root[data-theme="dark"] .reps{--uc:#4fd1c0}
@media (prefers-color-scheme: dark){:root:not([data-theme="light"]) .sdv,:root:not([data-theme="light"]) .reps{--uc:#4fd1c0}}
[data-o="alice"],[data-u="alice"]{--o:var(--ua)} [data-o="bob"],[data-u="bob"]{--o:var(--ub)} [data-o="carol"],[data-u="carol"]{--o:var(--uc)}
.sd{height:380px;border-radius:14px;background:var(--bg);padding:16px;display:flex;flex-direction:column;gap:12px;cursor:pointer;overflow:hidden}
.sd-op{display:flex;align-items:baseline;justify-content:space-between;gap:10px;min-width:0;font:400 .76rem/1.5 "JetBrains Mono",monospace;background:var(--paper);border:1px solid var(--rule);border-radius:10px;padding:8px 12px}
.sd-op code{min-width:0;color:var(--ink);white-space:nowrap;overflow:hidden;text-overflow:ellipsis}
.sd-op span{flex:none;color:var(--muted)}
.sd-op span.err{color:var(--hl);font-weight:500}
.sd-cols{flex:1;display:grid;grid-template-columns:repeat(3,1fr);gap:10px;min-height:0}
.sd-u{min-width:0;border:1px solid var(--rule);border-radius:10px;padding:10px 8px;display:flex;flex-direction:column;gap:8px;transition:opacity .4s,border-color .3s}
.sd-u h5{display:flex;align-items:center;gap:6px;margin:0 2px;font:500 .7rem "JetBrains Mono",monospace;color:var(--ink);white-space:nowrap;overflow:hidden}
.sd-u h5 i{flex:none;width:8px;height:8px;border-radius:50%;background:var(--o)}
.sd-u h5 small{margin-left:auto;font-size:.6rem;font-weight:400;color:var(--muted)}
.sd-u.deny{border-color:var(--hl)} .sd-u.deny h5 small{color:var(--hl)}
.sd-u.gone{opacity:.42}
.sd-items{display:flex;flex-direction:column;gap:5px}
.sd-it{max-height:30px;font:400 .72rem "JetBrains Mono",monospace;color:var(--ink);background:var(--paper);border:1px solid var(--rule);border-left:3px solid var(--o);border-radius:6px;padding:4px 7px;white-space:nowrap;overflow:hidden;text-overflow:ellipsis;transition:background .2s,opacity .35s .3s,max-height .35s .3s,padding .35s .3s,border-width .35s .3s}
.sd-it.in{animation:sdin .55s ease-out}
.sd-it.out{background:color-mix(in srgb,var(--hl) 22%,var(--paper));text-decoration:line-through;opacity:0;max-height:0;padding-top:0;padding-bottom:0;border-width:0}
@keyframes sdin{from{opacity:0;transform:translateY(-6px);background:color-mix(in srgb,var(--o) 26%,var(--paper))}to{opacity:1;transform:none}}
.sdv .legend i.sd-key{width:10px;height:10px;border-radius:50%;background:var(--o)}
.reps{display:grid;grid-template-columns:1fr 1fr;gap:12px;margin-top:22px}
.rep{min-width:0;padding:16px 18px;background:var(--paper);border:1px solid var(--rule);border-radius:14px;display:flex;flex-direction:column;gap:10px}
.rep h5{font:500 .7rem "JetBrains Mono",monospace;text-transform:uppercase;letter-spacing:.06em;color:var(--muted);margin:0}
.rep-box{display:flex;flex-direction:column;gap:5px;padding:10px 12px;border:1px dashed var(--rule);border-radius:10px}
.rep-box small{font:500 .66rem "JetBrains Mono",monospace;color:var(--muted);margin-bottom:2px}
.rep-box span{font:400 .74rem/1.45 "JetBrains Mono",monospace;color:var(--ink)}
.rep-box span.in{padding-left:18px;color:var(--ink-2)}
.rep b{font-weight:500} .rep b.ua{color:var(--ua)} .rep b.ub{color:var(--ub)}
.reps .rep-abs{grid-column:1/-1;margin:2px 0 0;font:400 .8rem/1.5 "JetBrains Mono",monospace;color:var(--ink-2)}
.reps .rep-abs b{font-family:Inter,sans-serif;font-weight:600;color:var(--ink)}
@media (max-width:640px){.reps{grid-template-columns:1fr}}
@media (max-width:560px){
  .sd{height:360px;padding:10px;gap:10px}
  .sd-op{font-size:.66rem;padding:7px 9px}
  .sd-cols{gap:5px}
  .sd-u{padding:8px 4px;gap:6px}
  .sd-u h5{font-size:.62rem;gap:4px}
  .sd-u h5 small{font-size:.52rem}
  .sd-it{font-size:.62rem;padding:4px 4px;border-left-width:2px}
}