/* Samuel Herman — site styles. Tokens first; every color below derives from them. */
:root{
  --bg:#FBFBFD; --ink:#14181F; --muted:#5B6472; --rule:#DCE0E6;
  --accent:#1E3F9E; --soft:#EEF2FA; --fig:#FFFFFF; --code:#F1F3F7;
  --serif:"Literata", Georgia, "Times New Roman", serif;
  --sans:"IBM Plex Sans", "Helvetica Neue", Arial, sans-serif;
  --mono:"IBM Plex Mono", "SFMono-Regular", Menlo, Consolas, monospace;
  color-scheme: light dark;
}
@media (prefers-color-scheme: dark){
  :root{
    --bg:#0F1216; --ink:#E6E9EE; --muted:#9AA3B0; --rule:#262B33;
    --accent:#8FB0FF; --soft:#161C29; --fig:#F6F7FA; --code:#161A21;
  }
}
*{box-sizing:border-box}
html{-webkit-text-size-adjust:100%}
body{margin:0;background:var(--bg);color:var(--ink);font-family:var(--serif);font-size:17px;line-height:1.6;
     font-variation-settings:"opsz" 17;-webkit-font-smoothing:antialiased}
a{color:var(--accent);text-decoration:underline;text-decoration-thickness:1px;text-underline-offset:3px}
a:hover{color:var(--ink)}
a:focus-visible,button:focus-visible{outline:2px solid var(--accent);outline-offset:2px;border-radius:2px}
p{margin:0 0 1.1em}
strong{font-weight:600}
h1,h2,h3,h4{font-family:var(--sans);font-weight:600;letter-spacing:-0.01em;line-height:1.2;margin:0;text-wrap:balance}
h2{font-size:22px;margin:6px 0 20px}
h3{font-size:17px;margin:28px 0 8px}
h4{font-size:16px;margin:24px 0 6px}
code{font-family:var(--mono);font-size:0.88em;background:var(--code);padding:1px 5px;border-radius:2px}
pre{font-family:var(--mono);font-size:13px;line-height:1.55;background:var(--code);padding:16px 18px;margin:0 0 1.2em;overflow-x:auto}
pre code{background:none;padding:0;font-size:inherit}
hr{border:0;border-top:1px solid var(--rule);margin:36px 0}
img{max-width:100%;height:auto}

.wrap{max-width:880px;margin:0 auto;padding:0 24px}
.prose{max-width:66ch}
.measure{max-width:66ch}

/* nav */
.nav{display:flex;justify-content:space-between;align-items:baseline;flex-wrap:wrap;gap:10px 24px;padding:26px 0 18px;border-bottom:1px solid var(--rule)}
.nav .name{font-family:var(--sans);font-weight:600;font-size:18px;color:var(--ink);text-decoration:none;letter-spacing:-0.01em}
.nav ul{list-style:none;margin:0;padding:0;display:flex;gap:22px}
.nav ul a{font-family:var(--sans);font-weight:500;font-size:15px;color:var(--muted);text-decoration:none}
.nav ul a:hover{color:var(--ink)}
.nav ul a[aria-current="page"]{color:var(--ink);text-decoration:underline;text-underline-offset:6px;text-decoration-color:var(--accent)}

/* labels */
.eyebrow{font-family:var(--mono);font-size:12px;font-weight:500;text-transform:uppercase;letter-spacing:.08em;color:var(--muted);margin:0 0 6px}
.eyebrow a{color:inherit;text-decoration:none}
.eyebrow a:hover{color:var(--ink)}
.meta{font-family:var(--mono);font-size:12.5px;color:var(--muted);letter-spacing:.01em;font-variant-numeric:tabular-nums}
.meta a{color:var(--muted)}
.meta a:hover{color:var(--ink)}
.meta.note{margin-top:4px}

/* sections */
section.block{padding:52px 0 0}
.hero{padding:56px 0 8px}
.thesis{font-family:var(--serif);font-weight:500;font-size:clamp(27px,3.6vw,38px);line-height:1.22;letter-spacing:-0.012em;max-width:28ch;margin:0 0 20px;font-variation-settings:"opsz" 40}
.thesis .kicker{color:var(--accent)}
.idlinks{margin:0 0 44px}
.areas{display:grid;grid-template-columns:1fr 1fr;gap:26px 44px;max-width:860px;margin:0 0 4px}
.areas .lab{font-family:var(--mono);font-size:12px;font-weight:500;text-transform:uppercase;letter-spacing:.08em;color:var(--accent);margin:0 0 6px}
.areas p{margin:0;font-size:16.5px;text-wrap:pretty}

.facts{display:grid;grid-template-columns:132px 1fr;gap:14px 24px;max-width:760px;margin:0}
.facts dt{font-family:var(--mono);font-size:12px;font-weight:500;text-transform:uppercase;letter-spacing:.08em;color:var(--muted);padding-top:5px}
.facts dd{margin:0}

figure{margin:0}
figure img,figure svg{display:block;width:100%;height:auto;background:var(--fig)}
figcaption{font-size:14px;line-height:1.5;color:var(--muted);margin-top:10px;max-width:72ch}
figcaption .fn{font-family:var(--mono);font-size:11.5px;text-transform:uppercase;letter-spacing:.08em;color:var(--ink);margin-right:8px}
.figbox{padding:10px;background:var(--fig);border:1px solid var(--rule)}
.lead-figure{margin-top:40px}

.paper{display:grid;grid-template-columns:1fr;gap:22px}
.paper .title{font-family:var(--serif);font-weight:600;font-size:22px;line-height:1.3;letter-spacing:-0.01em;margin:0 0 8px;text-wrap:balance}
.paper .title a{color:var(--ink);text-decoration:none}
.paper .title a:hover{text-decoration:underline}
.links{display:flex;flex-wrap:wrap;gap:6px 18px;font-family:var(--sans);font-size:14.5px;font-weight:500}
.links.top{margin-top:16px}

.list{list-style:none;margin:0;padding:0;display:grid;gap:30px}
.item .claim{font-family:var(--serif);font-weight:500;font-size:20px;line-height:1.35;letter-spacing:-0.008em;margin:0 0 6px;max-width:62ch;text-wrap:pretty}
.item .claim a{color:var(--ink);text-decoration:none}
.item .claim a:hover{text-decoration:underline;text-decoration-color:var(--accent)}
.item .ptitle{font-size:15px;color:var(--muted);margin:4px 0 0}
.item .ptitle a{color:var(--muted)}
.item .ptitle a:hover{color:var(--ink)}
.item .part{font-family:var(--mono);font-size:12px;font-weight:500;text-transform:uppercase;letter-spacing:.08em;color:var(--accent);margin:0 0 4px}
.more{margin-top:26px;font-family:var(--sans);font-size:15px;font-weight:500}

.talks{display:grid;grid-template-columns:52px 1fr auto;gap:12px 22px;align-items:baseline;max-width:820px}
.talks .yr{font-family:var(--mono);font-size:13px;color:var(--muted);font-variant-numeric:tabular-nums}
.talks .t{margin:0}
.talks .t .venue{font-family:var(--sans);font-size:13.5px;font-weight:500;color:var(--muted);display:block;margin-top:2px}
.talks .w{font-family:var(--sans);font-size:14.5px;font-weight:500;white-space:nowrap}

/* talks page */
.talk{display:grid;grid-template-columns:200px 1fr;gap:20px 28px;align-items:start}
.talk .thumb{display:block;border:1px solid var(--rule);background:var(--fig)}
.talk .thumb img{display:block;width:100%;height:auto}
.talk .claim{margin-top:6px}
.talk .argued{font-size:15.5px;margin:6px 0 0;max-width:60ch}

.foot{margin-top:64px;padding:26px 0 40px;border-top:1px solid var(--rule);display:flex;flex-wrap:wrap;justify-content:space-between;gap:10px 24px;font-family:var(--mono);font-size:12.5px;color:var(--muted)}
.foot ul{list-style:none;margin:0;padding:0;display:flex;flex-wrap:wrap;gap:18px}
.foot a{color:var(--muted)}
.foot a:hover{color:var(--ink)}

/* series list on writing page */
.series{list-style:none;margin:0;padding:0;display:grid;gap:34px}

/* page + post headers */
.post-head{padding:44px 0 0}
.post-head h1{font-family:var(--serif);font-weight:600;font-size:clamp(28px,3.4vw,36px);line-height:1.18;letter-spacing:-0.012em;max-width:26ch;margin:8px 0 14px;font-variation-settings:"opsz" 36}
.post-head h1.page-title{font-family:var(--sans);font-size:30px;font-weight:600;max-width:none;margin:8px 0 18px;font-variation-settings:normal}
.tldr{background:var(--soft);padding:20px 24px;margin:32px 0 0;max-width:760px}
.tldr .eyebrow{color:var(--accent);margin-bottom:8px}
.tldr p{margin:0;font-size:16px;line-height:1.6}
.toc{margin:36px 0 0;max-width:66ch}
.toc ol{margin:6px 0 0;padding:0;list-style:none;counter-reset:sec;font-family:var(--sans);font-size:15px;font-weight:500;line-height:1.5;display:grid;gap:5px}
.toc li{counter-increment:sec;display:grid;grid-template-columns:28px 1fr;gap:6px}
.toc li::before{content:counter(sec);font-family:var(--mono);font-size:12px;color:var(--muted);padding-top:3px;font-variant-numeric:tabular-nums}
.toc a{color:var(--ink);text-decoration:none}
.toc a:hover{text-decoration:underline;text-decoration-color:var(--accent)}

/* post body (markdown output) */
.post-body{padding-top:40px}
.post-body h2{font-size:23px;margin:44px 0 16px}
.post-body h3{font-size:18px;margin:32px 0 10px}
.post-body ul,.post-body ol{padding-left:22px;margin:0 0 1.1em}
.post-body li{margin-bottom:6px}
.post-body li > p{margin-bottom:.5em}
.post-body blockquote{margin:0 0 1.2em;padding:2px 0 2px 18px;border-left:2px solid var(--accent);color:var(--ink)}
.post-body blockquote p:last-child{margin-bottom:0}
.post-body img{display:block;max-width:100%;height:auto;margin:28px auto 0;background:var(--fig)}
.post-body p.fig{margin:0 0 28px}
.post-body p.fig > em.figcap-inline{display:block;font-style:normal;font-size:14px;line-height:1.5;color:var(--muted);margin-top:10px;max-width:72ch}
.post-body p.figcap{font-size:14px;line-height:1.5;color:var(--muted);margin:-18px 0 28px;max-width:72ch}
.post-body p.figcap em{font-style:normal}
.post-body .table-wrap{overflow-x:auto;margin:0 0 1.4em;max-width:100%}
.post-body table{border-collapse:collapse;font-size:15px;line-height:1.45;font-variant-numeric:tabular-nums;min-width:100%}
.post-body th,.post-body td{text-align:left;vertical-align:top;padding:8px 14px 8px 0;border-bottom:1px solid var(--rule)}
.post-body th{font-family:var(--sans);font-weight:600;font-size:13.5px;border-bottom:1px solid var(--ink)}
.post-body iframe{max-width:100%}
.post-body .katex-display{overflow-x:auto;overflow-y:hidden;padding:4px 0}
.post-body .kw{font-size:14px;color:var(--muted);margin-top:24px}

/* series nav + cite */
.sernav{margin-top:44px;padding-top:22px;border-top:1px solid var(--rule);display:grid;grid-template-columns:1fr 1fr;gap:20px 40px;max-width:820px}
.sernav .k{font-family:var(--mono);font-size:12px;text-transform:uppercase;letter-spacing:.08em;color:var(--muted);margin:0 0 4px}
.sernav p{margin:0;font-size:16px}
.cite{margin-top:36px;max-width:66ch}
.cite pre{font-size:12.5px;white-space:pre-wrap;margin:0}

/* about */
.bio-block{max-width:66ch}
.abstract{font-size:16px;line-height:1.62;max-width:70ch}

/* syntax highlighting (rouge), token colors derived from the palette */
.highlight .c,.highlight .c1,.highlight .cm{color:var(--muted);font-style:italic}
.highlight .k,.highlight .kd,.highlight .kn,.highlight .kt{color:var(--accent);font-weight:500}
.highlight .s,.highlight .s1,.highlight .s2,.highlight .sb{color:#2F6F4E}
.highlight .m,.highlight .mi,.highlight .mf{color:#8A4B12}
.highlight .nf,.highlight .nc{color:var(--ink);font-weight:500}
@media (prefers-color-scheme: dark){
  .highlight .s,.highlight .s1,.highlight .s2,.highlight .sb{color:#8FD3AE}
  .highlight .m,.highlight .mi,.highlight .mf{color:#E4B07A}
}

@media (max-width:640px){
  .areas,.sernav{grid-template-columns:1fr}
  .facts{grid-template-columns:1fr;gap:4px 0}
  .facts dd{margin-bottom:12px}
  .talks{grid-template-columns:44px 1fr}
  .talks .w{grid-column:2}
  .talk{grid-template-columns:1fr}
  .talk .thumb{max-width:280px}
}
@media (prefers-reduced-motion:no-preference){ html{scroll-behavior:smooth} }
@media print{
  .nav,.foot,.sernav{display:none}
  body{background:#fff;color:#000}
}