:root {
  --fg: #1a1a1a;
  --muted: #666;
  --line: #e5e5e5;
  --link: #9b0000;
  --code-bg: #f4f4f4;
  --bg: #fff;
}
@media (prefers-color-scheme: dark) {
  :root { --fg: #e6e6e6; --muted: #999; --line: #333; --link: #ff8a80; --code-bg: #222; --bg: #111; }
  img { background: #fff; border-radius: 4px; }
}

* { box-sizing: border-box; }
body {
  margin: 0; background: var(--bg); color: var(--fg);
  font: 17px/1.6 -apple-system, BlinkMacSystemFont, "Segoe UI", Helvetica, Arial, sans-serif;
}
main { max-width: 720px; margin: 0 auto; padding: 48px 20px 80px; }

header { margin-bottom: 40px; }
h1 { font-size: 32px; line-height: 1.2; margin: 0; }
.sub { font-size: 20px; margin: 6px 0 20px; color: var(--muted); }
.authors { margin: 0; }
.affil, .venue { margin: 2px 0; color: var(--muted); font-size: 15px; }
nav { margin-top: 16px; display: flex; gap: 20px; flex-wrap: wrap; }
nav a { font-weight: 600; }

section { margin-top: 36px; }
h2 { font-size: 22px; margin: 0 0 10px; padding-bottom: 6px; border-bottom: 1px solid var(--line); }
h3 { font-size: 17px; margin: 24px 0 4px; }
p { margin: 0 0 14px; }
ul { margin: 0 0 14px; padding-left: 22px; }
li { margin-bottom: 6px; }

a { color: var(--link); text-decoration: none; }
a:hover { text-decoration: underline; }
code, pre { font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace; font-size: 14px; }
code { background: var(--code-bg); padding: 1px 4px; border-radius: 3px; }
pre { background: var(--code-bg); padding: 14px 16px; border-radius: 4px; overflow-x: auto; line-height: 1.5; }

figure { margin: 20px 0; }
figure img, figure video { display: block; width: 100%; margin: 0 auto; }
figure img.narrow, figure video.narrow { max-width: 560px; }
figcaption { margin-top: 8px; font-size: 14px; color: var(--muted); text-align: center; }

/* ---------- a few accents ---------- */
:root { --red: #c5050c; --info: #1d5fb4; --ctrl: #b85c00; --good: #1f7a3f; --soft: #f6f6f5; }
@media (prefers-color-scheme: dark) {
  :root { --red: #ff6b6b; --info: #7fb0ff; --ctrl: #ffb366; --good: #6fcf8f; --soft: #1c1c1c; }
}
body { border-top: 6px solid var(--red); }
.red { color: var(--red); }
.info { color: var(--info); }
.ctrl { color: var(--ctrl); }
.good { color: var(--good); }
.muted { color: var(--muted); }

nav a { border: 1px solid var(--line); border-radius: 6px; padding: 4px 14px; }
nav a:hover { border-color: var(--link); text-decoration: none; }

.stats { display: grid; grid-template-columns: repeat(4, 1fr); gap: 12px; margin: 24px 0 0; }
.stats div { background: var(--soft); border-radius: 8px; padding: 12px 14px; }
.stats b { display: block; font-size: 24px; line-height: 1.2; color: var(--red); }
.stats span { font-size: 14px; color: var(--muted); line-height: 1.35; display: block; margin-top: 4px; }
@media (max-width: 640px) { .stats { grid-template-columns: repeat(2, 1fr); } }

blockquote { margin: 0 0 12px; padding: 8px 14px; border-left: 3px solid var(--red); background: var(--soft); font-style: italic; }
blockquote.good { border-left-color: var(--good); }
blockquote cite { display: block; font-style: normal; font-size: 14px; color: var(--muted); margin-top: 2px; }
blockquote cite::before { content: "— "; }

.idea { margin: -2px 0 10px; font-size: 15px; color: var(--muted); }
.big { font-size: 19px; margin: 6px 0 10px; }
.big b { font-size: 28px; }