:root {
  --bg: #fbfbf9;
  --surface: #ffffff;
  --ink: #1c1f23;
  --muted: #5d6570;
  --line: #e4e6e3;
  --accent: #0b7285;
  --accent-ink: #ffffff;
  --accent-soft: #e6f3f5;
  --chip: #f1f3f0;
  --serif: "Source Serif 4", Georgia, "Times New Roman", serif;
  --sans: "Inter", -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, sans-serif;
  --mono: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
}
@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) {
    --bg: #14171a; --surface: #1c2024; --ink: #e8e9e6; --muted: #9aa3ad; --line: #2b3136;
    --accent: #4fb3c6; --accent-ink: #0d1316; --accent-soft: #15353c; --chip: #262b30;
  }
}
:root[data-theme="dark"] {
  --bg: #14171a; --surface: #1c2024; --ink: #e8e9e6; --muted: #9aa3ad; --line: #2b3136;
  --accent: #4fb3c6; --accent-ink: #0d1316; --accent-soft: #15353c; --chip: #262b30;
}
* { box-sizing: border-box; }
html { -webkit-text-size-adjust: 100%; }
body {
  margin: 0; background: var(--bg); color: var(--ink);
  font-family: var(--sans); font-size: 16px; line-height: 1.55;
  -webkit-font-smoothing: antialiased;
}
.wrap { max-width: 860px; margin: 0 auto; padding: 0 16px 48px; }
a { color: var(--accent); text-decoration: none; }
a:hover { text-decoration: underline; text-underline-offset: 2px; }
h1, h2, h3 { font-family: var(--serif); font-weight: 600; letter-spacing: -0.01em; line-height: 1.2; }
h1 { font-size: clamp(1.9rem, 4.5vw, 2.6rem); margin: 0.2em 0 0.4em; overflow-wrap: anywhere; }
h1 .sub { display: block; font-size: 0.5em; font-weight: 400; color: var(--muted); margin-top: 0.15em; }
h2 { font-size: 1.35rem; margin: 2.2em 0 0.7em; padding-bottom: 0.3em; border-bottom: 1px solid var(--line); }
h2 .count { float: right; font-family: var(--sans); font-weight: 400; font-size: 0.88rem; color: var(--muted); margin-top: 0.45em; }
h3 { font-size: 1.12rem; margin: 0 0 0.25em; }
h3 a { color: var(--ink); }
h3 a:hover { color: var(--accent); }
.katex { font-size: 1em; }

nav.top { display: flex; justify-content: space-between; align-items: baseline; padding: 18px 0 8px; border-bottom: 1px solid var(--line); }
nav.top .brand { font-family: var(--serif); font-weight: 600; font-size: 1.05rem; color: var(--ink); }
nav.top .links a { margin-left: 18px; font-size: 0.92rem; color: var(--muted); }
nav.top .links a:hover { color: var(--accent); }

.hero { padding: 36px 0 8px; }
.eyebrow { font-size: 0.82rem; text-transform: uppercase; letter-spacing: 0.08em; color: var(--muted); margin: 0; }
.eyebrow a { color: var(--muted); }
.lede { font-size: 1.08rem; color: var(--muted); max-width: 640px; margin: 0 0 1.2em; }
.toc { font-size: 0.9rem; color: var(--muted); margin: 0.6em 0 0; }
.toc a { margin-right: 14px; white-space: nowrap; }

.actions { display: flex; flex-wrap: wrap; gap: 8px; margin: 1em 0; }
.btn {
  display: inline-block; padding: 7px 14px; border-radius: 8px; font-size: 0.9rem; font-weight: 500;
  border: 1px solid var(--line); background: var(--surface); color: var(--ink);
}
.btn:hover { border-color: var(--accent); color: var(--accent); text-decoration: none; }
.btn.primary { background: var(--accent); color: var(--accent-ink); border-color: var(--accent); }
.btn.primary:hover { filter: brightness(1.08); color: var(--accent-ink); }

ul.cards { list-style: none; padding: 0; margin: 0; display: grid; grid-template-columns: minmax(0, 1fr); gap: 12px; }
.card {
  background: var(--surface); border: 1px solid var(--line); border-radius: 12px; padding: 16px 18px;
  transition: border-color 0.15s;
}
.card:hover { border-color: var(--accent); }
.label { margin: 0 0 0.3em; color: var(--muted); font-size: 0.92rem; }
.meta { margin: 0.2em 0; color: var(--muted); font-size: 0.88rem; }
.chips { display: flex; flex-wrap: wrap; gap: 6px; margin: 0.6em 0 0; }
.chip {
  font-size: 0.8rem; font-weight: 500; padding: 3px 9px; border-radius: 999px;
  background: var(--chip); color: var(--ink);
}
.chip:hover { background: var(--accent-soft); color: var(--accent); text-decoration: none; }
button.chip { border: 0; font-family: inherit; line-height: inherit; cursor: pointer; }
.chip[aria-expanded="true"], .chip[aria-pressed="true"] { background: var(--accent-soft); color: var(--accent); }
.view { align-items: center; margin-top: 1em; font-size: 0.9rem; color: var(--muted); }
.card .abstract { font-size: 0.94rem; margin: 0.8em 0 0; }
.card .bib { margin-top: 0.8em; }
ul.plain { padding-left: 1.1em; }
ul.plain li { margin: 0.4em 0; }

.paper { padding-top: 28px; }
.paper .byline { margin: 0; font-size: 1.02rem; }
.paper .affil { color: var(--muted); }
.abstract { font-size: 1.02rem; }
.note { color: var(--muted); font-size: 0.92rem; }
table.versions { width: 100%; border-collapse: collapse; font-size: 0.92rem; }
table.versions th, table.versions td { text-align: left; padding: 8px 10px; border-bottom: 1px solid var(--line); }
table.versions th { color: var(--muted); font-weight: 500; font-size: 0.82rem; text-transform: uppercase; letter-spacing: 0.05em; }
pre {
  max-width: 100%;
  background: var(--surface); border: 1px solid var(--line); border-radius: 10px; padding: 14px 16px;
  font-family: var(--mono); font-size: 0.84rem; line-height: 1.5; overflow-x: auto; margin: 0;
}
.bib { position: relative; }
.copy {
  position: absolute; top: 8px; right: 8px; font: 500 0.78rem var(--sans); padding: 4px 10px;
  border-radius: 6px; border: 1px solid var(--line); background: var(--chip); color: var(--ink); cursor: pointer;
}
.copy:hover { border-color: var(--accent); color: var(--accent); }
pre.shell { margin-top: 0.4em; }

footer { margin-top: 56px; padding-top: 16px; border-top: 1px solid var(--line); color: var(--muted); font-size: 0.86rem; }

@media (max-width: 600px) {
  table.versions { font-size: 0.84rem; }
  table.versions th:nth-child(3), table.versions td:nth-child(3) { display: none; }
  nav.top .links a { margin-left: 12px; }
}