:root { color-scheme: dark; --bg: #0d1014; --panel: #12161b; --line: #262c34; --ink: #efe9e0; --muted: #8a929b; --gold: #e2a34a; }
* { box-sizing: border-box; }
html { background: var(--bg); }
body { margin: 0; min-height: 100vh; background: var(--bg); color: #cfc9c0; font-family: "IBM Plex Mono", monospace; }
a { color: var(--gold); text-decoration: none; }
a:hover { color: #f0c082; }
a:focus-visible { outline: 2px solid #f0c082; outline-offset: 4px; border-radius: 2px; }
.skip-link { position: fixed; left: 16px; top: 12px; z-index: 20; transform: translateY(-150%); padding: 9px 12px; color: var(--bg); background: #f0c082; }
.skip-link:focus { transform: translateY(0); }
header { border-bottom: 1px solid #1c2128; background: rgba(13,16,20,.96); }
.site-nav { max-width: 1180px; margin: 0 auto; padding: 20px 40px; display: flex; align-items: center; gap: 26px; }
.brand { color: var(--ink); font-family: "Source Serif 4", Georgia, serif; font-size: 18px; }
.nav-links { margin-left: auto; display: flex; align-items: center; gap: 22px; }
.nav-links a { color: var(--muted); font-size: 11px; letter-spacing: .12em; text-transform: uppercase; }
.nav-links a:hover { color: var(--gold); }
main { max-width: 1100px; min-height: 72vh; margin: 0 auto; padding: 70px 40px 100px; }
.hero { max-width: 850px; margin-bottom: 50px; }
.eyebrow { margin: 0 0 12px; color: var(--gold); font-size: 10px; letter-spacing: .18em; text-transform: uppercase; }
h1, h2 { color: var(--ink); font-family: "Source Serif 4", Georgia, serif; font-weight: 500; }
h1 { margin: 0 0 18px; font-size: clamp(42px, 7vw, 82px); line-height: .98; letter-spacing: -.025em; }
h2 { margin: 0 0 7px; font-size: 19px; line-height: 1.25; }
p { line-height: 1.65; }
.records { border-top: 1px solid var(--line); }
.record { display: grid; grid-template-columns: 72px 1fr; gap: 20px; padding: 19px 0; border-bottom: 1px solid var(--line); }
.record.no-year { grid-template-columns: 1fr; }
.record .year { color: var(--muted); font-size: 12px; padding-top: 5px; }
.record p { margin: 3px 0 0; color: #9aa3ad; font-size: 12px; }
.record .muted { color: #76808a; }
.record .selected { display: inline-block; margin-top: 8px; padding: 3px 7px; border: 1px solid rgba(226,163,74,.65); color: #f0c082; font-size: 9px; letter-spacing: .13em; text-transform: uppercase; }
.subsection { margin-top: 68px; }
.subsection > .record { border-top: 1px solid var(--line); }
.subsection > .record + .record { border-top: 0; }
.stats { display: grid; grid-template-columns: repeat(3, 1fr); gap: 1px; padding: 1px; background: var(--line); }
.stats div { padding: 28px; background: var(--panel); }
.stats dt { color: var(--muted); font-size: 10px; letter-spacing: .13em; text-transform: uppercase; }
.stats dd { margin: 9px 0 0; color: var(--ink); font: 500 35px/1 "Source Serif 4", Georgia, serif; }
.note { color: #737b84; font-size: 11px; }
.cards { display: grid; grid-template-columns: repeat(2, 1fr); gap: 18px; }
.software-card { padding: 26px; border: 1px solid var(--line); background: var(--panel); }
.software-title-row { display: flex; align-items: baseline; gap: 12px; flex-wrap: wrap; margin-bottom: 12px; }
.software-title-row.software-version { margin-top: 22px; }
.software-name { color: var(--gold); font-size: 19px; letter-spacing: .02em; }
.software-meta { color: var(--muted); font-size: 10px; letter-spacing: .14em; text-transform: uppercase; }
.software-note { color: #cfc9c0; font-size: 13px; line-height: 1.6; }
.install-command { display: flex; align-items: center; gap: 12px; min-width: 0; padding: 15px; border: 1px solid #313944; background: #0a0d10; color: #d7dde4; }
.install-command code { min-width: 0; flex: 1; white-space: pre-wrap; overflow-wrap: anywhere; }
.copy-install { flex: none; padding: 3px 0; border: 0; background: transparent; color: var(--gold); font: 400 11px/1.4 "IBM Plex Mono", monospace; cursor: pointer; }
.copy-install:hover { color: #f0c082; }
.copy-install:focus-visible { outline: 2px solid #f0c082; outline-offset: 4px; border-radius: 2px; }
pre { overflow: auto; padding: 15px; border: 1px solid #313944; background: #0a0d10; color: #d7dde4; }
.teaching-group { display: grid; grid-template-columns: minmax(220px, .8fr) 1.8fr; gap: 34px; padding: 28px 0; border-top: 1px solid var(--line); }
.teaching-group header p { color: var(--muted); font-size: 11px; }
.teaching-group ul { list-style: none; margin: 0; padding: 0; }
.teaching-group li { display: flex; gap: 16px; justify-content: space-between; padding: 10px 0; border-bottom: 1px solid #1d232a; }
.teaching-group small { color: var(--muted); }
.teaching-group strong { color: var(--gold); font-weight: 400; }
.paper { max-width: 900px; padding-top: 25px; }
.paper h1 { font-size: clamp(38px, 6vw, 70px); }
.authors { color: #bbc2c9; font-size: 14px; }
.venue { color: #98a1aa; }
.chips { display: flex; flex-wrap: wrap; gap: 7px; margin: 24px 0; }
.chips span { padding: 4px 8px; border: 1px solid #33404b; color: #8f9aa5; font-size: 9px; letter-spacing: .1em; text-transform: uppercase; }
.actions { display: flex; flex-wrap: wrap; gap: 12px; margin-top: 34px; }
.button { display: inline-block; padding: 10px 14px; border: 1px solid var(--gold); background: var(--gold); color: #101318; font-size: 10px; letter-spacing: .11em; text-transform: uppercase; }
.button:hover { color: #101318; background: #f0c082; }
.button.secondary { background: transparent; color: var(--gold); }
.pdf-frame { width: 100%; height: 850px; border: 1px solid var(--line); background: #fff; }
footer { max-width: 1100px; margin: 0 auto; padding: 28px 40px 40px; display: flex; flex-wrap: wrap; gap: 12px 26px; border-top: 1px solid var(--line); color: #77808a; font-size: 10px; }
footer strong { color: var(--ink); font: 500 14px "Source Serif 4", Georgia, serif; }
footer a { margin-left: auto; }
@media (max-width: 780px) {
  .site-nav { padding: 15px 18px; flex-wrap: wrap; }
  .nav-links { width: 100%; margin-left: 0; flex-wrap: wrap; gap: 9px 18px; }
  main { padding: 48px 18px 80px; }
  .record { grid-template-columns: 54px 1fr; }
  .stats, .cards { grid-template-columns: 1fr; }
  .teaching-group { grid-template-columns: 1fr; gap: 10px; }
  footer { padding: 24px 18px 36px; }
  footer a { margin-left: 0; }
  .pdf-frame { height: 620px; }
}
@media (prefers-reduced-motion: reduce) { *, *::before, *::after { scroll-behavior: auto !important; transition: none !important; animation: none !important; } }
