/* Linux Biolinum — Philipp H. Poll, dual GPL(+font exception) and OFL.
   Subset to Latin + punctuation. See assets/fonts/LICENCE.txt. */
@font-face{font-family:"Linux Biolinum";font-style:normal;font-weight:400;
  font-display:swap;src:url("/assets/fonts/LinBiolinum-Regular.woff2") format("woff2")}
@font-face{font-family:"Linux Biolinum";font-style:italic;font-weight:400;
  font-display:swap;src:url("/assets/fonts/LinBiolinum-Italic.woff2") format("woff2")}
@font-face{font-family:"Linux Biolinum";font-style:normal;font-weight:600 700;
  font-display:swap;src:url("/assets/fonts/LinBiolinum-Bold.woff2") format("woff2")}
/* Hanken Grotesk — OFL, see assets/fonts/OFL-HankenGrotesk.txt. Latin subset,
   variable weight axis in a single file. Used for titles and labels. */
@font-face{font-family:"Hanken Grotesk";font-style:normal;font-weight:100 900;
  font-display:swap;src:url("/assets/fonts/HankenGrotesk-Variable.woff2") format("woff2")}
@font-face{font-family:"Red Hat Mono";font-style:normal;font-weight:300 700;
  font-display:swap;src:url("/assets/fonts/RedHatMono-Variable.woff2") format("woff2")}

:root{
  --bg:#F6F3EE; --card:#FFFDF9; --ink:#23201C; --muted:#76706A; --rule:#E4DDD2;
  --accent:#B4532A; --deep:#1F3A3D; --band-ink:#EEF2EF; --band-muted:#B9C8C5;
  --menu-bg:rgba(246,243,238,.9);
  --sans:"Linux Biolinum",-apple-system,BlinkMacSystemFont,"Segoe UI",sans-serif;
  --head:"Hanken Grotesk",-apple-system,BlinkMacSystemFont,"Segoe UI",sans-serif;
  --mono:"Red Hat Mono",ui-monospace,SFMono-Regular,Menlo,monospace;
}
@media (prefers-color-scheme:dark){
  :root{
    --bg:#161819; --card:#1E2122; --ink:#E7E3DC; --muted:#A09A92; --rule:#2F3334;
    --accent:#E48A5E; --deep:#15292B; --menu-bg:rgba(22,24,25,.9);
  }
  h2,.card h2{color:#CFE0DC}
}

*{box-sizing:border-box}
html{-webkit-text-size-adjust:100%;scroll-behavior:smooth}
body{margin:0;background:var(--bg);color:var(--ink);font-family:var(--sans);
  font-size:17.5px;line-height:1.62;-webkit-font-smoothing:antialiased}
img{max-width:100%}
a{color:var(--accent);text-decoration:none}
a:hover{text-decoration:underline}
a:focus-visible{outline:2px solid var(--accent);outline-offset:2px;border-radius:2px}
p{margin:0 0 1em}
code,pre{font-family:var(--mono);font-size:.85em}
.skip{position:absolute;left:-9999px}
.skip:focus{left:12px;top:12px;z-index:99;background:var(--card);padding:8px 12px}

/* ---------- header band ---------- */
.band{background:var(--deep);color:var(--band-ink)}
.band .in{max-width:860px;margin:0 auto;padding:56px 28px 48px;
  display:flex;gap:36px;align-items:center}
.band img{width:136px;height:136px;border-radius:50%;object-fit:cover;
  object-position:50% 28%;border:3px solid rgba(255,255,255,.18);flex:none}
.band h1{margin:0;font-family:var(--head);font-weight:600;font-size:2.6rem;line-height:1.05;letter-spacing:-.015em}
.band .role{color:var(--band-muted);margin:.3em 0 1em}
.icons{display:flex;gap:18px;flex-wrap:wrap}
.icons a{color:var(--band-ink);display:inline-flex;gap:7px;align-items:center;
  font-family:var(--head);text-transform:uppercase;letter-spacing:.1em;font-size:.78rem;font-weight:600}
.icons a:hover{color:#F3B58F;text-decoration:none}
.icons svg{width:16px;height:16px;flex:none}

/* ---------- section menu ---------- */
.menu{position:sticky;top:0;z-index:10;background:var(--menu-bg);
  backdrop-filter:saturate(1.4) blur(8px);-webkit-backdrop-filter:saturate(1.4) blur(8px);
  border-bottom:1px solid var(--rule)}
.menu .in{max-width:860px;margin:0 auto;padding:10px 28px;display:flex;gap:4px;
  overflow-x:auto;scrollbar-width:none}
.menu .in::-webkit-scrollbar{display:none}
.menu a{flex:none;font-family:var(--head);padding:4px 12px;border-radius:999px;color:var(--muted);
  font-size:.88rem;font-weight:500;transition:background .15s,color .15s}
.menu a:hover{color:var(--ink);text-decoration:none;background:var(--rule)}
.menu a.on{color:var(--card);background:var(--deep)}
@media (prefers-color-scheme:dark){.menu a.on{color:var(--ink);background:#2C4A4D}}

/* ---------- cards ---------- */
.wrap{max-width:860px;margin:0 auto;padding:32px 28px 48px}
.card{background:var(--card);border:1px solid var(--rule);border-radius:8px;
  padding:26px 30px;margin-bottom:22px;scroll-margin-top:72px}
h2{margin:0 0 .8em;font-family:var(--head);font-weight:700;text-transform:uppercase;
  letter-spacing:.1em;font-size:1.2rem;color:var(--deep);
  display:flex;align-items:center;gap:12px}
h2::before{content:"";width:22px;height:3px;background:var(--accent)}
.card p:last-child{margin-bottom:0}

.interests{display:flex;flex-wrap:wrap;gap:8px;margin-top:1em}
.interests span{border:1px solid var(--rule);padding:2px 12px;border-radius:999px;
  font-size:.9rem;color:var(--muted);background:var(--bg)}

.pub{border-left:3px solid var(--accent);padding-left:18px}
.pub+.pub{margin-top:1.6em}
.pub .v{font-family:var(--head);text-transform:uppercase;letter-spacing:.12em;font-size:.75rem;color:var(--accent);font-weight:700}
.pub .t{font-family:var(--head);font-size:1.25rem;font-weight:600;line-height:1.3;letter-spacing:-.01em}
.pub .t a{color:var(--ink)}
.pub .a{color:var(--muted);margin:.2em 0 .3em}
.pub .a strong{color:var(--ink);font-weight:600}
.btns a{display:inline-block;margin:8px 8px 0 0;padding:1px 10px;border:1px solid var(--rule);
  border-radius:4px;font-size:.88rem;color:var(--ink)}
.btns a:hover{border-color:var(--accent);color:var(--accent);text-decoration:none}

.e{margin-bottom:1.2em}
.e:last-child{margin-bottom:0}
.e h3{margin:0;font-family:var(--head);font-size:1.02rem;font-weight:600}
.e .m{color:var(--muted);font-size:.93rem}
.e p{margin:.3em 0 0}

.grid{display:grid;grid-template-columns:1fr 1fr;gap:22px;margin-bottom:22px}
.grid .card{margin:0}
.dated{list-style:none;padding:0;margin:0}
.dated li{margin-bottom:.6em;line-height:1.45}
.dated li:last-child{margin-bottom:0}
.dated .d{display:block;color:var(--accent);font-family:var(--head);font-size:.72rem;
  text-transform:uppercase;letter-spacing:.1em;font-weight:600}
.dated .s{color:var(--muted)}
/* News scrolls inside its card once it outgrows about five items; the fade
   hints that there is more below and is dropped at the end of the list. */
.scroll{max-height:17.5em;overflow-y:auto;padding-right:10px;overscroll-behavior:contain;
  scrollbar-width:thin;scrollbar-color:var(--rule) transparent}
.scroll::-webkit-scrollbar{width:6px}
.scroll::-webkit-scrollbar-thumb{background:var(--rule);border-radius:3px}
.scroll.more{-webkit-mask-image:linear-gradient(#000 80%,transparent);
  mask-image:linear-gradient(#000 80%,transparent)}

footer{max-width:860px;margin:0 auto;padding:0 28px 48px;font-size:.85rem;color:var(--muted)}

@media (max-width:680px){
  .band .in{flex-direction:column;align-items:flex-start;gap:20px;padding:40px 20px 36px}
  .band h1{font-size:2.3rem}
  .band img{width:112px;height:112px}
  .menu .in,.wrap,footer{padding-left:16px;padding-right:16px}
  .grid{grid-template-columns:1fr}
  .card{padding:22px 20px}
}

/* ---------- paper page ---------- */
.back{display:inline-block;margin-bottom:1.4em;color:var(--band-muted);font-size:.95rem}
.back:hover{color:#F3B58F;text-decoration:none}
.paper .band .in{display:block}
.paper .band h1{font-size:2.3rem;line-height:1.15;margin-bottom:.3em}
.paper .band .authors{color:var(--band-muted);margin:0 0 .3em}
.paper .band .authors strong{color:var(--band-ink);font-weight:600}
.paper .band .venue{font-family:var(--head);text-transform:uppercase;letter-spacing:.12em;
  font-size:.78rem;color:#F3B58F;font-weight:700;margin:0 0 1.2em}
.code{position:relative}
.copy{position:absolute;top:8px;right:8px;font:600 .72rem/1 var(--head);text-transform:uppercase;
  letter-spacing:.08em;padding:6px 10px;border:1px solid var(--rule);border-radius:4px;
  background:var(--card);color:var(--muted);cursor:pointer}
.copy:hover{color:var(--accent);border-color:var(--accent)}
.copy.done{color:var(--card);background:var(--deep);border-color:var(--deep)}
pre.bib{margin:0;padding:14px 16px;background:var(--bg);border:1px solid var(--rule);
  border-radius:6px;overflow-x:auto;line-height:1.6}

@media (prefers-reduced-motion:reduce){
  html{scroll-behavior:auto}
  *{transition:none !important}
}