/* ==========================================================================
   aibomech.github.io — one stylesheet for the whole site.
   1 tokens · 2 base · 3 layout · 4 header/footer · 5 components
   6 home · 7 research · 8 publications · 9 projects · 10 articles · 11 sims
   12 search
   ========================================================================== */

/* ---------- fonts (self-hosted, no third-party requests) ---------- */
@font-face{font-family:"Archivo";font-style:normal;font-weight:100 900;font-stretch:62% 125%;font-display:swap;
  src:url(/fonts/archivo-latin-wdth-normal.woff2) format("woff2");
  unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}
@font-face{font-family:"Archivo";font-style:normal;font-weight:100 900;font-stretch:62% 125%;font-display:swap;
  src:url(/fonts/archivo-latin-ext-wdth-normal.woff2) format("woff2");
  unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}
@font-face{font-family:"Source Serif 4";font-style:normal;font-weight:200 900;font-display:swap;
  src:url(/fonts/source-serif-4-latin-opsz-normal.woff2) format("woff2");
  unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}
@font-face{font-family:"Source Serif 4";font-style:normal;font-weight:200 900;font-display:swap;
  src:url(/fonts/source-serif-4-latin-ext-opsz-normal.woff2) format("woff2");
  unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}
@font-face{font-family:"Source Serif 4";font-style:italic;font-weight:200 900;font-display:swap;
  src:url(/fonts/source-serif-4-latin-opsz-italic.woff2) format("woff2");
  unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}
@font-face{font-family:"JetBrains Mono";font-style:normal;font-weight:100 800;font-display:swap;
  src:url(/fonts/jetbrains-mono-latin-wght-normal.woff2) format("woff2")}

/* ---------- 1. tokens ---------- */
:root{
  /* the palette is an occupancy grid: free space, obstacles, and a hot cost ramp */
  --paper:#f2f4f7;      /* free space */
  --surface:#ffffff;
  --sunk:#e6eaf0;       /* unknown space */
  --ink:#0f1b2e;        /* occupied */
  --ink-2:#48566b;
  --ink-3:#5b6779;
  --line:#d3dae4;
  --navy:#1f3a6e;       /* brand colour, taken from the CV */
  --link:#1f3a6e;
  --signal:#f0661f;     /* robot / path accent */
  --signal-ink:#b4430a; /* the accent when it has to be read as text */
  --band:#0f1b2e;       /* inverted bands: footer, contact */
  --band-ink:#eef2f7;
  --band-2:#a9b6c8;
  /* cost ramp for the simulations, low to high */
  --cost-1:#2b3f8f; --cost-2:#7b3fa0; --cost-3:#d4476b; --cost-4:#f58a2b; --cost-5:#f9d54a;
  --ok:#2f8f5b;

  --sans:"Archivo",system-ui,-apple-system,"Segoe UI",sans-serif;
  --serif:"Source Serif 4",Georgia,"Times New Roman",serif;
  --mono:"JetBrains Mono",ui-monospace,"SFMono-Regular",Menlo,Consolas,monospace;

  --wrap:74rem;
  --gutter:clamp(1rem,4vw,2.5rem);
  --r:6px;
  --header-h:3.75rem;
  color-scheme:light;
}
:root[data-theme="dark"]{
  --paper:#0b1422; --surface:#111d30; --sunk:#16243a;
  --ink:#e8edf4; --ink-2:#a9b6c8; --ink-3:#8492a8; --line:#24344e;
  --link:#a3c2ff; --signal:#ff8a3d; --signal-ink:#ff9d5c;
  --band:#070e19; --band-ink:#e8edf4; --band-2:#93a2b8;
  --cost-1:#3f57c0; --ok:#5cc48b;
  color-scheme:dark;
}
@media (prefers-color-scheme:dark){
  :root:not([data-theme="light"]){
    --paper:#0b1422; --surface:#111d30; --sunk:#16243a;
    --ink:#e8edf4; --ink-2:#a9b6c8; --ink-3:#8492a8; --line:#24344e;
    --link:#a3c2ff; --signal:#ff8a3d; --signal-ink:#ff9d5c;
    --band:#070e19; --band-ink:#e8edf4; --band-2:#93a2b8;
    --cost-1:#3f57c0; --ok:#5cc48b;
    color-scheme:dark;
  }
}

/* ---------- 2. base ---------- */
*,*::before,*::after{box-sizing:border-box}
html{-webkit-text-size-adjust:100%;scroll-behavior:smooth;scroll-padding-top:calc(var(--header-h) + 1rem)}
body{margin:0;background:var(--paper);color:var(--ink);font-family:var(--sans);font-size:1rem;line-height:1.55;
  font-stretch:100%;-webkit-font-smoothing:antialiased;text-rendering:optimizeLegibility;overflow-x:hidden}
img,video,canvas,svg{display:block;max-width:100%}
img,video{height:auto}
h1,h2,h3,h4{font-family:var(--sans);line-height:1.12;margin:0;text-wrap:balance;letter-spacing:-.01em}
h1{font-size:clamp(2.1rem,5vw,3.4rem);font-weight:760;font-stretch:112%}
h2{font-size:clamp(1.5rem,2.6vw,2rem);font-weight:720;font-stretch:108%}
h3{font-size:1.2rem;font-weight:680;font-stretch:104%;line-height:1.25}
h4{font-size:1rem;font-weight:680}
p{margin:0 0 1em}
a{color:var(--link);text-decoration-thickness:.07em;text-underline-offset:.18em}
a:hover{text-decoration-thickness:.14em}
:focus-visible{outline:2px solid var(--signal);outline-offset:3px;border-radius:2px}
button{font:inherit;color:inherit}
ul,ol{margin:0;padding:0}
hr{border:0;border-top:1px solid var(--line);margin:0}
::selection{background:var(--signal);color:#fff}
.vh{position:absolute;width:1px;height:1px;overflow:hidden;clip:rect(0 0 0 0);white-space:nowrap}
.skip{position:absolute;left:1rem;top:-4rem;background:var(--ink);color:var(--paper);padding:.6rem 1rem;z-index:100;border-radius:var(--r)}
.skip:focus{top:1rem}
.serif{font-family:var(--serif)}
.num{font-variant-numeric:tabular-nums}

/* ---------- 3. layout ---------- */
.wrap{width:100%;max-width:calc(var(--wrap) + 2*var(--gutter));margin-inline:auto;padding-inline:var(--gutter)}
.block{padding-block:clamp(2.5rem,5vw,4rem)}
.block + .block{border-top:1px solid var(--line)}
.block-head{display:flex;align-items:baseline;justify-content:space-between;gap:1rem 2rem;flex-wrap:wrap;margin-bottom:clamp(1.5rem,3vw,2.5rem)}
.block-head p{margin:0;color:var(--ink-2);max-width:60ch}
.more{font-weight:600;white-space:nowrap}
.page-head{padding-block:clamp(2.5rem,6vw,4.5rem) clamp(1.5rem,3vw,2.5rem)}
.page-head h1{max-width:24ch}
.page-head .standfirst{font-family:var(--serif);font-size:clamp(1.15rem,1.6vw,1.35rem);line-height:1.5;color:var(--ink-2);max-width:62ch;margin:1.1rem 0 0}
.crumbs{font-size:.9rem;color:var(--ink-3);margin-bottom:1.25rem;display:flex;flex-wrap:wrap;gap:.4rem}
.crumbs a{color:inherit}
.crumbs span[aria-hidden]{opacity:.6}

/* ---------- 4. header / footer ---------- */
.site-header{position:sticky;top:0;z-index:50;background:color-mix(in srgb,var(--paper) 88%,transparent);
  backdrop-filter:blur(10px);-webkit-backdrop-filter:blur(10px);border-bottom:1px solid var(--line)}
.site-header .wrap{display:flex;align-items:center;gap:1rem;min-height:var(--header-h)}
.brand{display:flex;align-items:center;gap:.6rem;color:var(--ink);text-decoration:none;font-weight:740;font-stretch:108%;font-size:1.05rem;letter-spacing:-.01em;margin-right:auto;white-space:nowrap}
.brand-mark{width:1.5rem;height:1.76rem;background:var(--navy);flex:none;
  -webkit-mask:url(/img/aibomech-mark.png) center/contain no-repeat;mask:url(/img/aibomech-mark.png) center/contain no-repeat}
:root[data-theme="dark"] .brand-mark{background:var(--ink)}
@media (prefers-color-scheme:dark){:root:not([data-theme="light"]) .brand-mark{background:var(--ink)}}
.nav{display:flex;gap:.25rem;list-style:none}
.nav a{display:block;padding:.45rem .7rem;color:var(--ink-2);text-decoration:none;font-weight:560;font-size:.95rem;border-radius:var(--r)}
.nav a:hover{color:var(--ink);background:var(--sunk)}
.nav a[aria-current="page"]{color:var(--ink);box-shadow:inset 0 -2px 0 var(--signal);border-radius:0}
.icon-btn{display:grid;place-items:center;width:2.4rem;height:2.4rem;border:1px solid var(--line);background:transparent;border-radius:var(--r);cursor:pointer;color:var(--ink-2)}
.icon-btn:hover{color:var(--ink);border-color:var(--ink-3)}
.icon-btn svg{width:1.1rem;height:1.1rem}
.theme-toggle .moon{display:none}
:root[data-theme="dark"] .theme-toggle .sun{display:none}
:root[data-theme="dark"] .theme-toggle .moon{display:block}
@media (prefers-color-scheme:dark){
  :root:not([data-theme="light"]) .theme-toggle .sun{display:none}
  :root:not([data-theme="light"]) .theme-toggle .moon{display:block}
}
.menu-toggle{display:none}
@media (max-width:820px){
  .menu-toggle{display:grid}
  .nav{position:absolute;left:0;right:0;top:100%;flex-direction:column;gap:0;background:var(--paper);border-bottom:1px solid var(--line);padding:.5rem var(--gutter) 1rem;display:none}
  .nav.open{display:flex}
  .nav a{padding:.8rem .25rem;font-size:1.05rem;border-bottom:1px solid var(--line);border-radius:0}
  .nav li:last-child a{border-bottom:0}
  .nav a[aria-current="page"]{box-shadow:inset 3px 0 0 var(--signal);padding-left:.9rem}
}

.site-footer{background:var(--band);color:var(--band-2);margin-top:clamp(3rem,7vw,5rem);font-size:.95rem}
.site-footer .wrap{padding-block:3rem 2rem}
.footer-grid{display:grid;grid-template-columns:1.6fr 1fr 1fr 1fr;gap:2rem}
.footer-grid h2{font-size:.95rem;font-weight:640;font-stretch:100%;color:var(--band-ink);margin-bottom:.8rem;letter-spacing:0}
.footer-grid ul{list-style:none;display:grid;gap:.45rem}
.site-footer a{color:var(--band-2);text-decoration:none}
.site-footer a:hover{color:#fff;text-decoration:underline}
.footer-logo{width:11rem;height:auto;margin-bottom:1rem;opacity:.95}
.footer-about p{max-width:34ch;margin:0}
.footer-base{display:flex;flex-wrap:wrap;gap:.5rem 2rem;justify-content:space-between;border-top:1px solid #ffffff1f;margin-top:2.5rem;padding-top:1.25rem;font-size:.88rem}
@media (max-width:760px){.footer-grid{grid-template-columns:1fr 1fr}.footer-about{grid-column:1/-1}}

/* ---------- 5. components ---------- */
.btn{display:inline-flex;align-items:center;gap:.5rem;padding:.72rem 1.15rem;border-radius:var(--r);font-weight:640;font-size:.98rem;text-decoration:none;border:1.5px solid var(--ink);color:var(--ink);background:transparent;cursor:pointer;line-height:1.2}
.btn:hover{background:var(--ink);color:var(--paper)}
.btn.primary{background:var(--ink);color:var(--paper)}
.btn.primary:hover{background:var(--navy);border-color:var(--navy);color:#fff}
:root[data-theme="dark"] .btn.primary:hover{background:var(--signal);border-color:var(--signal);color:#0b1422}
.btn svg{width:1rem;height:1rem;flex:none}
.btn-row{display:flex;flex-wrap:wrap;gap:.75rem}
.chips{display:flex;flex-wrap:wrap;gap:.4rem;list-style:none}
.chip{font-size:.82rem;font-stretch:94%;font-weight:540;padding:.2rem .55rem;border:1px solid var(--line);border-radius:999px;color:var(--ink-2);background:var(--surface);white-space:nowrap}
.filters{display:flex;flex-wrap:wrap;gap:.4rem;margin-bottom:1.75rem}
.filter{font-size:.92rem;font-weight:580;padding:.4rem .85rem;border:1px solid var(--line);border-radius:999px;background:var(--surface);color:var(--ink-2);cursor:pointer}
.filter:hover{border-color:var(--ink-3);color:var(--ink)}
.filter[aria-pressed="true"]{background:var(--ink);border-color:var(--ink);color:var(--paper)}
.filter .count{opacity:.6;font-variant-numeric:tabular-nums;margin-left:.25rem}
.elsewhere{display:flex;flex-wrap:wrap;gap:.35rem 1.2rem;list-style:none;font-weight:580;font-size:.95rem}
.elsewhere a{display:inline-flex;align-items:center;gap:.4rem;color:var(--ink-2);text-decoration:none}
.elsewhere a:hover{color:var(--ink);text-decoration:underline}
.elsewhere svg{width:1.05rem;height:1.05rem}
.table-wrap{overflow-x:auto;margin:1.5rem 0;border:1px solid var(--line);border-radius:var(--r);background:var(--surface)}
table{border-collapse:collapse;width:100%;font-family:var(--sans);font-size:.93rem;line-height:1.4}
th,td{text-align:left;padding:.6rem .85rem;border-bottom:1px solid var(--line);vertical-align:top}
th{font-weight:660;background:var(--sunk);white-space:nowrap}
tr:last-child td{border-bottom:0}
figure{margin:0}
figure.media{margin:1.75rem 0}
figure.media img,figure.media video{width:100%;border-radius:var(--r);border:1px solid var(--line);background:var(--surface)}
figcaption{font-family:var(--sans);font-size:.88rem;color:var(--ink-3);margin-top:.55rem;line-height:1.4;max-width:70ch}
.pair{display:grid;grid-template-columns:1fr 1fr;gap:1rem;margin:1.75rem 0}
.pair figure.media{margin:0}
.pair p{display:contents}
@media (max-width:560px){.pair{grid-template-columns:1fr}}
video.loop{cursor:pointer}

/* ---------- 6. home ---------- */
.hero{display:grid;grid-template-columns:minmax(0,5fr) minmax(0,7fr);gap:clamp(1.5rem,4vw,3.5rem);align-items:center;padding-block:clamp(2rem,5vw,3.5rem) clamp(2rem,4vw,3rem)}
.hero h1{font-size:clamp(2.5rem,5.6vw,4.4rem);font-weight:800;font-stretch:122%;letter-spacing:-.025em;line-height:.98}
.hero .role{font-weight:600;color:var(--ink-2);margin:1rem 0 0;font-size:1.02rem}
.hero .role a{color:inherit}
.hero .statement{font-family:var(--serif);font-size:clamp(1.3rem,2.2vw,1.7rem);line-height:1.3;margin:1.6rem 0 .9rem;font-weight:500;text-wrap:balance}
.hero .intro{font-family:var(--serif);font-size:1.08rem;line-height:1.6;color:var(--ink-2);max-width:48ch;margin-bottom:1.6rem}
.hero .elsewhere{margin-top:1.5rem}
figure.sim.hero-map{position:relative;margin:0;margin-right:calc(-1*min(max(var(--gutter),(100vw - var(--wrap))/2),9rem))}
.hero-map .sim-stage{border-radius:var(--r) 0 0 var(--r);border-right:0;aspect-ratio:7/5}
.hero-map figcaption{display:flex;flex-wrap:wrap;gap:.4rem 1.25rem;align-items:center;padding-right:var(--gutter)}
.hero-map figcaption strong{color:var(--ink);font-weight:640}
.legend{display:inline-flex;align-items:center;gap:.4rem}
.legend i{width:.7rem;height:.7rem;border-radius:50%;display:inline-block;background:var(--signal)}
.legend i.person{background:var(--cost-3)}
.legend i.cost{border-radius:2px;background:linear-gradient(90deg,var(--cost-1),var(--cost-3),var(--cost-5))}
.legend i.path{width:1.1rem;height:0;border-top:2px dashed var(--signal);border-radius:0;background:none}
@media (max-width:900px){
  .hero{grid-template-columns:1fr}
  figure.sim.hero-map{margin:0 calc(-1*var(--gutter))}
  .hero-map .sim-stage{border-radius:0;border-left:0;aspect-ratio:4/3}
  .hero-map figcaption{padding-inline:var(--gutter)}
}

.pipeline-strip{list-style:none;display:grid;grid-template-columns:repeat(5,1fr);counter-reset:stage;border:1px solid var(--line);border-radius:var(--r);background:var(--surface);overflow:hidden}
.pipeline-strip li{counter-increment:stage;position:relative;border-right:1px solid var(--line)}
.pipeline-strip li:last-child{border-right:0}
.pipeline-strip a{display:block;height:100%;padding:1.15rem 1.1rem 1.25rem;text-decoration:none;color:var(--ink)}
.pipeline-strip a:hover{background:var(--sunk)}
.pipeline-strip .n{font-variant-numeric:tabular-nums;font-weight:700;color:var(--signal-ink);font-size:.9rem}
.pipeline-strip strong{display:block;font-size:1.3rem;font-weight:740;font-stretch:112%;margin:.15rem 0 .35rem}
.pipeline-strip span.what{display:block;color:var(--ink-2);font-size:.93rem;line-height:1.4}
.pipeline-strip li:not(:last-child)::after{content:"";position:absolute;right:-.45rem;top:1.55rem;width:.8rem;height:.8rem;background:var(--surface);border-top:1px solid var(--line);border-right:1px solid var(--line);transform:rotate(45deg);z-index:1}
.pipeline-strip li:hover:not(:last-child)::after{background:var(--sunk)}
@media (max-width:860px){
  .pipeline-strip{grid-template-columns:1fr}
  .pipeline-strip li{border-right:0;border-bottom:1px solid var(--line)}
  .pipeline-strip li:last-child{border-bottom:0}
  .pipeline-strip li::after{display:none}
  .pipeline-strip a{display:grid;grid-template-columns:2rem 7.5rem 1fr;align-items:baseline;gap:.5rem;padding:.9rem 1rem}
  .pipeline-strip strong{margin:0;font-size:1.1rem}
}
@media (max-width:480px){.pipeline-strip a{grid-template-columns:1.6rem 1fr}.pipeline-strip span.what{grid-column:2}}

.ledger{list-style:none;border-top:1px solid var(--line)}
.ledger li{display:grid;grid-template-columns:minmax(7rem,11rem) 1fr auto;gap:.5rem 2rem;align-items:baseline;padding:1.15rem 0;border-bottom:1px solid var(--line)}
.ledger .fig{font-size:clamp(2rem,4vw,2.9rem);font-weight:780;font-stretch:118%;line-height:1;color:var(--signal-ink);font-variant-numeric:tabular-nums;letter-spacing:-.02em;white-space:nowrap}
.ledger p{margin:0;font-family:var(--serif);font-size:1.1rem;line-height:1.45;max-width:58ch}
.ledger a{font-size:.92rem;font-weight:580;white-space:nowrap}
@media (max-width:760px){.ledger li{grid-template-columns:1fr}.ledger a{white-space:normal}}

.feature-grid{display:grid;grid-template-columns:7fr 5fr;gap:1.25rem}
.feature-grid .side{display:grid;gap:1.25rem;align-content:start}
@media (max-width:860px){.feature-grid{grid-template-columns:1fr}}

.contact-band{background:var(--band);color:var(--band-ink);border-radius:var(--r);padding:clamp(1.75rem,5vw,3.25rem);display:grid;grid-template-columns:1.4fr 1fr;gap:2rem;align-items:center}
.contact-band h2{color:#fff;margin-bottom:.8rem}
.contact-band p{font-family:var(--serif);font-size:1.12rem;line-height:1.5;color:var(--band-2);margin:0;max-width:52ch}
.contact-band .actions{display:grid;gap:.75rem;justify-items:start}
.contact-band .btn{border-color:#ffffff66;color:#fff}
.contact-band .btn:hover{background:#fff;color:var(--band)}
.contact-band .btn.primary{background:var(--signal);border-color:var(--signal);color:#16100a}
.contact-band .btn.primary:hover{background:#fff;border-color:#fff;color:var(--band)}
@media (max-width:760px){.contact-band{grid-template-columns:1fr}}

/* ---------- 7. research ---------- */
.stage{display:grid;grid-template-columns:minmax(0,5fr) minmax(0,6fr);gap:clamp(1.5rem,4vw,3.5rem);align-items:start;padding-block:clamp(2.5rem,6vw,4.5rem);border-top:1px solid var(--line)}
.stage:nth-of-type(even) .stage-text{order:2}
.stage-n{display:flex;align-items:baseline;gap:.6rem;font-weight:700;color:var(--signal-ink);margin-bottom:.6rem}
.stage-n span{font-variant-numeric:tabular-nums}
.stage h2{margin-bottom:1rem;max-width:20ch}
.stage-text > p{font-family:var(--serif);font-size:1.12rem;line-height:1.62;max-width:56ch}
.finding{border-left:3px solid var(--signal);padding:.15rem 0 .15rem 1rem;margin:1.4rem 0;font-weight:600;font-size:1.02rem;line-height:1.45;max-width:54ch;font-family:var(--sans)}
.stage-refs h3{font-size:.95rem;font-weight:660;color:var(--ink-2);margin:1.6rem 0 .5rem;font-stretch:100%}
.ref-list{list-style:none;display:grid;gap:.5rem;font-size:.95rem;line-height:1.4}
.ref-list a{font-weight:600}
.ref-list span{color:var(--ink-3)}
.stage-visual{position:sticky;top:calc(var(--header-h) + 1.25rem)}
.stage-visual img{border-radius:var(--r);border:1px solid var(--line);width:100%}
.stage-plain{grid-template-columns:1fr}
@media (max-width:900px){
  .stage{grid-template-columns:1fr}
  .stage:nth-of-type(even) .stage-text{order:0}
  .stage-visual{position:static}
}
.funding{display:flex;flex-wrap:wrap;gap:.4rem;list-style:none;margin-top:1rem}

/* ---------- 8. publications ---------- */
.pub-year{display:grid;grid-template-columns:6rem minmax(0,1fr);gap:0 2rem;border-top:1px solid var(--line);padding-top:1.5rem;margin-top:1.5rem}
.pub-year > h2{font-size:1.6rem;font-variant-numeric:tabular-nums;position:sticky;top:calc(var(--header-h) + 1rem);align-self:start;color:var(--ink-3);font-weight:700}
.pub-list{list-style:none;display:grid;grid-template-columns:minmax(0,1fr);gap:1.75rem;padding-bottom:.75rem}
.pub > div{min-width:0}
.pub{scroll-margin-top:calc(var(--header-h) + 1.5rem)}
.pub.has-fig{display:grid;grid-template-columns:minmax(0,1fr) minmax(12rem,21rem);gap:1rem 2.5rem;align-items:start}
.pub-fig{display:block;border:1px solid var(--line);border-radius:var(--r);background:#fff;padding:.5rem;width:100%}
.pub-fig img{width:100%}
.pub-fig:hover{border-color:var(--ink-3)}
a.zoom{display:block;cursor:zoom-in}
dialog.lightbox{max-width:none;max-height:none;width:100vw;height:100vh;margin:0;padding:clamp(.75rem,3vw,2.5rem);border:0;background:rgba(8,14,25,.9);cursor:zoom-out}
dialog.lightbox[open]{display:grid;place-items:center}
dialog.lightbox::backdrop{background:rgba(8,14,25,.9)}
dialog.lightbox img{max-width:100%;max-height:100%;width:auto;height:auto;object-fit:contain;background:#fff;border-radius:var(--r);padding:.75rem}
dialog.lightbox button{position:fixed;top:1rem;right:1rem;font:inherit;font-size:.9rem;font-weight:600;padding:.4rem .8rem;border:1px solid #ffffff66;border-radius:var(--r);background:#0f1b2e;color:#fff;cursor:pointer}
@media (max-width:900px){.pub.has-fig{grid-template-columns:1fr}.pub-fig{max-width:22rem}}
.pub h3{font-size:1.14rem;line-height:1.3;font-weight:680;font-stretch:102%;max-width:62ch}
.pub h3 a{color:var(--ink);text-decoration:none}
.pub h3 a:hover{text-decoration:underline}
.pub .authors{margin:.4rem 0 .15rem;color:var(--ink-2);font-size:.97rem;max-width:74ch}
.pub .authors b{color:var(--ink);font-weight:680}
.pub .venue{margin:0;font-family:var(--serif);font-size:1rem;color:var(--ink-2)}
.pub .venue em{color:var(--ink)}
.pub .summary{font-family:var(--serif);margin:.6rem 0 0;max-width:68ch;line-height:1.55}
.pub-actions{display:flex;flex-wrap:wrap;gap:.3rem 1.1rem;align-items:center;margin-top:.65rem;font-size:.92rem;font-weight:600}
.pub-actions button{background:none;border:0;padding:0;cursor:pointer;color:var(--link);text-decoration:underline;text-decoration-thickness:.07em;text-underline-offset:.18em;font-weight:600}
.pub-actions .meta{font-weight:500;color:var(--ink-3)}
.badge{font-size:.78rem;font-weight:640;padding:.12rem .45rem;border-radius:3px;background:var(--sunk);color:var(--ink-2);white-space:nowrap}
.badge.first{background:color-mix(in srgb,var(--signal) 16%,transparent);color:var(--signal-ink)}
.bib{margin-top:.75rem;position:relative}
.bib pre{margin:0;padding:1rem;background:var(--surface);border:1px solid var(--line);border-radius:var(--r);font-family:var(--mono);font-size:.8rem;line-height:1.5;overflow-x:auto;white-space:pre}
.bib .copy{position:absolute;top:.5rem;right:.5rem;font-size:.8rem;padding:.25rem .6rem;border:1px solid var(--line);border-radius:4px;background:var(--paper);cursor:pointer;font-weight:600}
.pub.is-hidden,.post-row.is-hidden{display:none}
.pub-year.is-empty{display:none}
.scholar-line{display:flex;flex-wrap:wrap;gap:.5rem 2.5rem;margin-top:1.5rem;font-size:1rem;color:var(--ink-2)}
.scholar-line b{font-size:1.5rem;font-weight:760;font-stretch:112%;color:var(--ink);font-variant-numeric:tabular-nums;margin-right:.35rem}
@media (max-width:640px){.pub-year{grid-template-columns:minmax(0,1fr)}.pub-year > h2{position:static;margin-bottom:1rem}}
/* compact version used on the home and research pages */
.pub-rows{list-style:none;border-top:1px solid var(--line)}
.pub-rows li{display:grid;grid-template-columns:4rem 1fr;gap:.25rem 1.5rem;padding:1.1rem 0;border-bottom:1px solid var(--line)}
.pub-rows .yr{color:var(--ink-3);font-weight:640;font-variant-numeric:tabular-nums}
.pub-rows h3{font-size:1.1rem;line-height:1.3}
.pub-rows h3 a{color:var(--ink);text-decoration:none}
.pub-rows h3 a:hover{text-decoration:underline}
.pub-rows p{margin:.3rem 0 0;color:var(--ink-2);font-size:.95rem}
.pub-rows p em{font-family:var(--serif);font-size:1rem}
@media (max-width:520px){.pub-rows li{grid-template-columns:1fr}}

/* ---------- 9. projects ---------- */
.project-card{display:flex;flex-direction:column;background:var(--surface);border:1px solid var(--line);border-radius:var(--r);overflow:hidden;text-decoration:none;color:var(--ink);height:100%}
.project-card:hover{border-color:var(--ink-3)}
.project-card:hover .card-title{text-decoration:underline;text-decoration-thickness:.08em;text-underline-offset:.16em}
.project-card .thumb{aspect-ratio:16/10;background:var(--sunk);overflow:hidden;border-bottom:1px solid var(--line)}
.project-card .thumb img,.project-card .thumb video{width:100%;height:100%;object-fit:cover}
.project-card .thumb.contain img{object-fit:contain;background:#fff}
.project-card .thumb.text{background:var(--navy);color:#fff;display:flex;flex-direction:column;justify-content:flex-end;padding:1.1rem 1.2rem}
.project-card .thumb.text b{font-size:clamp(1.5rem,2.4vw,2rem);font-weight:780;font-stretch:118%;line-height:1.05;letter-spacing:-.02em}
.project-card .thumb.text span{font-size:.9rem;opacity:.8;margin-top:.35rem}
.project-card .body{padding:1.1rem 1.2rem 1.25rem;display:flex;flex-direction:column;gap:.5rem;flex:1}
.project-card .when{font-size:.86rem;color:var(--ink-3);font-weight:560}
.project-card p{margin:0;color:var(--ink-2);font-size:.97rem;line-height:1.45}
.project-card .chips{margin-top:auto;padding-top:.5rem}
.project-card .card-title{font-size:1.2rem;font-weight:680;font-stretch:104%;line-height:1.25;letter-spacing:-.01em}
.project-card.large .card-title{font-size:1.5rem;font-stretch:108%}
.project-card.large p{font-size:1.02rem}
.project-card.row{flex-direction:row}
.project-card.row .thumb{flex:0 0 42%;aspect-ratio:auto;border-bottom:0;border-right:1px solid var(--line)}
@media (max-width:520px){.project-card.row{flex-direction:column}.project-card.row .thumb{aspect-ratio:16/10;border-right:0;border-bottom:1px solid var(--line)}}
.project-grid{display:grid;grid-template-columns:repeat(6,1fr);gap:1.25rem}
.project-grid > *{grid-column:span 2}
.project-grid .wide{grid-column:span 3}
@media (max-width:980px){.project-grid > *{grid-column:span 3}}
@media (max-width:640px){.project-grid > *,.project-grid .wide{grid-column:1/-1}}

.project-top{display:grid;grid-template-columns:minmax(0,7fr) minmax(0,4fr);gap:clamp(1.5rem,4vw,3rem);align-items:start;margin-bottom:2rem}
.project-top .hero-media img,.project-top .hero-media video{width:100%;border-radius:var(--r);border:1px solid var(--line);background:var(--surface)}
.facts{border-top:2px solid var(--ink);display:grid;position:sticky;top:calc(var(--header-h) + 1.25rem)}
.facts div{padding:.8rem 0;border-bottom:1px solid var(--line)}
.facts dt{font-size:.85rem;color:var(--ink-3);font-weight:580;margin-bottom:.2rem}
.facts dd{margin:0;font-weight:560;line-height:1.4}
.facts .chips{margin-top:.2rem}
.facts .btn{margin-top:1rem;width:100%;justify-content:center}
@media (max-width:860px){.project-top{grid-template-columns:1fr}}

/* ---------- 10. articles (blog posts, project text, about) ---------- */
.article-layout{display:grid;grid-template-columns:minmax(0,1fr) 15rem;gap:clamp(2rem,5vw,4.5rem);align-items:start}
.article-layout.no-toc{grid-template-columns:minmax(0,1fr)}
.toc{position:sticky;top:calc(var(--header-h) + 1.5rem);font-size:.9rem;max-height:calc(100vh - var(--header-h) - 3rem);overflow:auto;order:2}
.toc h2{font-size:.9rem;font-weight:680;font-stretch:100%;margin-bottom:.7rem;letter-spacing:0}
.toc ol{list-style:none;display:grid;gap:.1rem;border-left:1px solid var(--line)}
.toc a{display:block;padding:.3rem 0 .3rem .9rem;margin-left:-1px;border-left:2px solid transparent;color:var(--ink-2);text-decoration:none;line-height:1.35}
.toc a:hover{color:var(--ink)}
.toc .sub a{padding-left:1.7rem;font-size:.86rem}
.toc a.active{color:var(--ink);border-left-color:var(--signal);font-weight:600}
@media (max-width:980px){.article-layout{grid-template-columns:minmax(0,1fr)}.toc{display:none}}
.post-meta{display:flex;flex-wrap:wrap;gap:.3rem 1.25rem;color:var(--ink-3);font-size:.95rem;margin-top:1.25rem;align-items:center}
.post-meta a{color:inherit;font-weight:600}

.prose{font-family:var(--serif);font-size:1.13rem;line-height:1.68;max-width:44rem;font-optical-sizing:auto}
.prose > *:first-child{margin-top:0}
.prose p,.prose ul,.prose ol{margin:0 0 1.15em}
.prose h2{font-size:clamp(1.45rem,2.4vw,1.8rem);margin:2.4em 0 .7em;padding-top:.9em;border-top:1px solid var(--line)}
.prose h3{font-size:1.22rem;margin:1.9em 0 .55em}
.prose h4{font-size:1.02rem;margin:1.6em 0 .4em;color:var(--ink-2)}
.prose h2 + h3,.prose h3 + h4{margin-top:1em}
.prose ul,.prose ol{padding-left:1.35em}
.prose li{margin:.35em 0;padding-left:.2em}
.prose li::marker{color:var(--ink-3)}
.prose strong{font-weight:650}
.prose a{font-weight:500}
.prose p.lead{font-family:var(--sans);color:var(--ink-3);font-size:1rem;margin-top:-.3em}
.prose p.caption{font-family:var(--sans);font-size:.9rem;color:var(--ink-3);margin-top:-.6em}
.prose :not(pre) > code{font-family:var(--mono);font-size:.84em;background:var(--sunk);padding:.12em .36em;border-radius:3px;overflow-wrap:anywhere}
.prose .table-wrap{max-width:100%}
.prose figure.media,.prose figure.sim,.prose .pair{max-width:none}
.eq{background:var(--surface);border:1px solid var(--line);border-radius:var(--r);padding:1rem 1.25rem;margin:1.4em 0;overflow-x:auto}
.prose mjx-container{max-width:100%;overflow-x:auto;overflow-y:hidden;padding-block:2px}
.eq p{margin:0 0 .5em}
.eq p:last-child{margin-bottom:0}
.eq-title{font-family:var(--sans);font-weight:660;font-size:.95rem;color:var(--ink-2)}
.note{border-left:3px solid var(--navy);background:color-mix(in srgb,var(--navy) 6%,var(--surface));padding:1rem 1.25rem;margin:1.5em 0;border-radius:0 var(--r) var(--r) 0;font-size:.97em}
:root[data-theme="dark"] .note{border-left-color:var(--link);background:var(--surface)}
@media (prefers-color-scheme:dark){:root:not([data-theme="light"]) .note{border-left-color:var(--link);background:var(--surface)}}
.note > *:last-child{margin-bottom:0}
.note .eq{background:var(--paper)}
.impl{margin:1.5em 0}
.impl > p:not(.eq-title){font-size:.98em}
ol.pipeline{list-style:none;padding:0;counter-reset:step;display:grid;gap:0;border:1px solid var(--line);border-radius:var(--r);background:var(--surface);font-family:var(--sans);font-size:.98rem;line-height:1.45;margin:1.5em 0}
ol.pipeline li{counter-increment:step;display:grid;grid-template-columns:2.2rem 1fr;gap:0 .5rem;padding:.8rem 1rem;margin:0;border-bottom:1px solid var(--line)}
ol.pipeline li:last-child{border-bottom:0}
ol.pipeline li::before{content:counter(step);font-weight:740;color:var(--signal-ink);font-variant-numeric:tabular-nums}
ol.pipeline li strong{display:block}
ol.pipeline li > *{grid-column:2}
.code{position:relative;margin:1.4em 0;border:1px solid var(--line);border-radius:var(--r);background:var(--code-bg,#101a2b);overflow:hidden}
.code pre{margin:0;padding:1rem 1.15rem;overflow-x:auto;font-family:var(--mono);font-size:.83rem;line-height:1.6;color:#dfe6f0;tab-size:4}
.code-lang{position:absolute;top:0;right:0;font-family:var(--sans);font-size:.74rem;font-weight:600;color:#9fb0c6;background:#ffffff14;padding:.15rem .55rem;border-radius:0 0 0 var(--r)}
/* pygments tokens */
.code .k,.code .kd,.code .kn,.code .kr,.code .kt,.code .kc,.code .ow{color:#8fb8ff}
.code .s,.code .s1,.code .s2,.code .sd,.code .sa,.code .se,.code .si{color:#f6b26b}
.code .c,.code .c1,.code .cm,.code .cp,.code .cpf,.code .ch{color:#7f8ea5;font-style:italic}
.code .nf,.code .nc,.code .fm,.code .nn{color:#ffd479}
.code .mi,.code .mf,.code .mh,.code .m{color:#f08fb0}
.code .nb,.code .bp,.code .nv{color:#9fe0c5}
.code .o,.code .p{color:#c3cede}

.post-list{list-style:none;border-top:1px solid var(--line)}
.post-row{display:grid;grid-template-columns:8.5rem 1fr auto;gap:.3rem 2rem;padding:1.25rem 0;border-bottom:1px solid var(--line);align-items:baseline}
.post-row time{color:var(--ink-3);font-size:.93rem;font-variant-numeric:tabular-nums}
.post-row h3{font-size:1.22rem}
.post-row h2{font-size:1.3rem;font-stretch:104%;font-weight:700}
.post-row h3 a,.post-row h2 a{color:var(--ink);text-decoration:none}
.post-row h3 a:hover,.post-row h2 a:hover{text-decoration:underline}
.post-row p{margin:.35rem 0 0;color:var(--ink-2);font-family:var(--serif);max-width:62ch;line-height:1.5}
.post-row .side{display:flex;gap:.5rem;align-items:center;font-size:.88rem;color:var(--ink-3);white-space:nowrap}
@media (max-width:760px){.post-row{grid-template-columns:1fr}.post-row .side{order:-1}}
.post-nav{display:grid;grid-template-columns:1fr 1fr;gap:1rem;margin-top:3rem;padding-top:1.5rem;border-top:1px solid var(--line)}
.post-nav a{display:block;text-decoration:none;color:var(--ink);padding:.9rem 1rem;border:1px solid var(--line);border-radius:var(--r);background:var(--surface)}
.post-nav a:hover{border-color:var(--ink-3)}
.post-nav small{display:block;color:var(--ink-3);font-size:.85rem;margin-bottom:.2rem}
.post-nav strong{font-weight:660;line-height:1.3;display:block}
.post-nav .next{text-align:right;grid-column:2}
@media (max-width:560px){.post-nav{grid-template-columns:1fr}.post-nav .next{grid-column:1;text-align:left}}
.author-box{display:flex;gap:1rem;align-items:center;margin-top:2.5rem;padding:1.25rem;border:1px solid var(--line);border-radius:var(--r);background:var(--surface);font-family:var(--sans);font-size:.97rem;line-height:1.5;max-width:44rem}
.author-box .brand-mark{width:2.4rem;height:2.8rem}
.author-box p{margin:0;color:var(--ink-2)}
.author-box strong{color:var(--ink)}

/* about */
.about-grid{display:grid;grid-template-columns:minmax(0,7fr) minmax(0,4fr);gap:clamp(2rem,5vw,4rem);align-items:start}
@media (max-width:900px){.about-grid{grid-template-columns:1fr}}
.portrait{border-radius:var(--r);border:1px solid var(--line);width:100%;margin-bottom:1.25rem}
.timeline{list-style:none;border-left:2px solid var(--line);margin-left:.4rem}
.timeline > li{position:relative;padding:0 0 2rem 1.75rem}
.timeline > li:last-child{padding-bottom:0}
.timeline > li::before{content:"";position:absolute;left:-.48rem;top:.3rem;width:.8rem;height:.8rem;border-radius:50%;background:var(--paper);border:2px solid var(--ink)}
.timeline > li.education::before{background:var(--signal);border-color:var(--signal)}
.timeline .period{font-size:.9rem;color:var(--ink-3);font-weight:580;font-variant-numeric:tabular-nums}
.timeline h3{margin:.15rem 0}
.timeline .place{color:var(--ink-2);margin:0 0 .5rem}
.timeline ul{list-style:disc;padding-left:1.1rem;color:var(--ink-2);font-family:var(--serif);font-size:1.03rem;line-height:1.5;display:grid;gap:.3rem;max-width:60ch}
.keyed{list-style:none;display:grid;gap:0;border-top:1px solid var(--line)}
.keyed li{display:grid;grid-template-columns:4.5rem 1fr;gap:1rem;padding:.9rem 0;border-bottom:1px solid var(--line)}
.keyed .k{color:var(--ink-3);font-weight:640;font-variant-numeric:tabular-nums}
.keyed strong{display:block;font-weight:660}
.keyed span.d{color:var(--ink-2);font-size:.96rem}
.skills{display:grid;border-top:1px solid var(--line)}
.skills div{display:grid;grid-template-columns:12rem 1fr;gap:1rem;padding:.85rem 0;border-bottom:1px solid var(--line)}
.skills dt{font-weight:660}
.skills dd{margin:0;color:var(--ink-2)}
@media (max-width:620px){.skills div{grid-template-columns:1fr;gap:.2rem}}
.aside-card{border:1px solid var(--line);border-radius:var(--r);background:var(--surface);padding:1.25rem;margin-bottom:1.25rem}
.aside-card h2{font-size:1.05rem;font-stretch:100%;margin-bottom:.75rem}
.aside-card dl{margin:0;display:grid;gap:.6rem;font-size:.96rem}
.aside-card dt{color:var(--ink-3);font-size:.85rem}
.aside-card dd{margin:0}
.aside-card .elsewhere{flex-direction:column;gap:.55rem}
.section-gap{margin-top:clamp(2.5rem,5vw,3.75rem)}
.section-gap > h2{margin-bottom:1.25rem}

/* contact form */
.form{display:grid;gap:1rem;max-width:34rem}
.form label{display:grid;gap:.35rem;font-weight:600;font-size:.95rem}
.form input,.form textarea{font:inherit;padding:.7rem .8rem;border:1px solid var(--ink-3);border-radius:var(--r);background:var(--surface);color:var(--ink);width:100%}
.form textarea{min-height:9rem;resize:vertical}
.form .hp{display:none}
.contact-grid{display:grid;grid-template-columns:minmax(0,6fr) minmax(0,5fr);gap:clamp(2rem,5vw,4rem);align-items:start}
@media (max-width:820px){.contact-grid{grid-template-columns:1fr}}

/* ---------- 11. simulations ---------- */
figure.sim{margin:1.75rem 0}
.sim-stage{position:relative;border:1px solid var(--line);border-radius:var(--r);overflow:hidden;background:var(--surface);aspect-ratio:16/10}
.sim-stage canvas{width:100%;height:100%;touch-action:manipulation}
figure.sim[data-drag] .sim-stage canvas{touch-action:none;cursor:grab}
figure.sim[data-click] .sim-stage canvas{cursor:crosshair}
.sim-controls{display:flex;flex-wrap:wrap;gap:.5rem 1.25rem;align-items:center;font-family:var(--sans);font-size:.9rem;color:var(--ink-2)}
.sim-controls:not(:empty){margin-top:.6rem}
.sim-controls label{display:inline-flex;align-items:center;gap:.5rem;font-weight:560}
.sim-controls input[type=range]{accent-color:var(--signal);width:9rem}
.sim-controls input[type=checkbox]{accent-color:var(--signal);width:1rem;height:1rem}
.sim-controls button{font-size:.88rem;font-weight:620;padding:.32rem .75rem;border:1px solid var(--line);border-radius:999px;background:var(--surface);cursor:pointer;color:var(--ink)}
.sim-controls button:hover{border-color:var(--ink-3)}
.sim-controls button[aria-pressed="true"]{background:var(--ink);color:var(--paper);border-color:var(--ink)}
.sim-controls output{font-variant-numeric:tabular-nums;font-weight:640;color:var(--ink)}
.sim-play{position:absolute;inset:auto auto .75rem .75rem;z-index:2}

/* ---------- 12. search ---------- */
.site-header .wrap{gap:.6rem}
.site-header nav{margin-right:.4rem}
dialog.search{width:min(44rem,calc(100vw - 1.5rem));max-height:min(40rem,calc(100vh - 6rem));margin:4.5rem auto auto;padding:0;border:1px solid var(--line);border-radius:10px;background:var(--surface);color:var(--ink);overflow:hidden;box-shadow:0 24px 60px -20px rgba(8,14,25,.55)}
dialog.search[open]{display:flex;flex-direction:column}
dialog.search::backdrop{background:rgba(8,14,25,.55);backdrop-filter:blur(3px);-webkit-backdrop-filter:blur(3px)}
.search-box{display:flex;align-items:center;gap:.75rem;padding:.85rem 1rem;border-bottom:1px solid var(--line)}
.search-box > svg{width:1.25rem;height:1.25rem;flex:none;color:var(--ink-3)}
.search-box input{flex:1;min-width:0;border:0;background:transparent;color:var(--ink);font:inherit;font-size:1.15rem;padding:.35rem 0;outline:0}
.search-box input::placeholder{color:var(--ink-3)}
.search-box input::-webkit-search-cancel-button{display:none}
.search-close{font-size:.82rem;font-weight:600;padding:.3rem .6rem;border:1px solid var(--line);border-radius:var(--r);background:var(--paper);color:var(--ink-2);cursor:pointer}
.search-close:hover{color:var(--ink);border-color:var(--ink-3)}
.search-body{overflow-y:auto;overscroll-behavior:contain;padding:.25rem 0 .5rem}
.search-topics{padding:.9rem 1rem .6rem}
.search-topics p{margin:0 0 .6rem;font-size:.88rem;font-weight:600;color:var(--ink-3)}
.search-topics .chip{cursor:pointer;font:inherit;font-size:.9rem;font-weight:560;padding:.3rem .7rem;background:var(--paper)}
.search-topics .chip:hover{border-color:var(--ink-3);color:var(--ink)}
.search-status{margin:0;padding:.75rem 1rem .25rem;font-size:.92rem;color:var(--ink-2)}
.search-status:empty{display:none}
.search-status a{font-weight:600}
.search-results{list-style:none}
.search-results a{display:grid;grid-template-columns:4.6rem minmax(0,1fr);gap:.1rem 1rem;padding:.7rem 1rem;text-decoration:none;color:var(--ink);border-left:3px solid transparent}
.search-results a:hover,.search-results a.active{background:var(--paper);border-left-color:var(--signal)}
.search-results .kind{font-size:.8rem;font-weight:640;color:var(--ink-3);padding-top:.2rem}
.search-results strong{font-weight:680;font-stretch:103%;line-height:1.3}
.search-results span.snip{grid-column:2;font-size:.9rem;color:var(--ink-2);line-height:1.4;display:-webkit-box;-webkit-line-clamp:2;-webkit-box-orient:vertical;overflow:hidden}
.search-results mark{background:color-mix(in srgb,var(--signal) 28%,transparent);color:inherit;border-radius:2px;padding:0 .08em}
@media (max-width:560px){
  dialog.search{margin-top:.75rem;max-height:calc(100vh - 1.5rem)}
  .search-results a{grid-template-columns:minmax(0,1fr)}
  .search-results span.snip{grid-column:1}
  .site-header .wrap{gap:.4rem}
  .icon-btn{width:2.25rem;height:2.25rem}
  .brand{font-size:1rem;gap:.45rem}
}

@media (prefers-reduced-motion:reduce){
  html{scroll-behavior:auto}
  *,*::before,*::after{transition:none!important;animation:none!important}
}
@media print{
  .site-header,.site-footer,.toc,.sim,.filters,.post-nav,.contact-band,dialog.search{display:none!important}
  body{background:#fff;color:#000}
  .prose{max-width:none;font-size:11pt}
  a{color:#000}
}