:root {
  --text: #1a1a1a;
  --bg: #ffffff;
  --muted: #555;
  --rule: #ddd;
  --accent: #1a5276;
  --warn-bg: #fff6e0;
  --warn-border: #d9a72c;
}
@media (prefers-color-scheme: dark) {
  :root {
    --text: #e8e6e3;
    --bg: #17181a;
    --muted: #a8a49e;
    --rule: #3a3b3d;
    --accent: #7bb3d4;
    --warn-bg: #2e2612;
    --warn-border: #9c7a1e;
  }
}
* { box-sizing: border-box; }
body {
  margin: 0 auto;
  padding: 1.5rem 1rem 4rem;
  max-width: 46rem;
  font-family: Charter, "Bitstream Charter", Georgia, serif;
  font-size: 1.05rem;
  line-height: 1.55;
  color: var(--text);
  background: var(--bg);
}
h1, h2, h3 {
  font-family: inherit;
  line-height: 1.2;
  margin: 2rem 0 0.6rem;
}
h1 { font-size: 1.9rem; margin-top: 1rem; }
h2 { font-size: 1.35rem; border-bottom: 1px solid var(--rule); padding-bottom: 0.2rem; }
h3 { font-size: 1.1rem; }
a { color: var(--accent); }
p.nav { color: var(--muted); margin: 0.3rem 0 1rem; }
.disclaimer {
  background: var(--warn-bg);
  border: 1px solid var(--warn-border);
  border-radius: 6px;
  padding: 0.7rem 1rem;
  margin: 1rem 0 1.5rem;
  font-size: 0.95rem;
}
.paper-card {
  border: 1px solid var(--rule);
  border-radius: 8px;
  padding: 1rem 1.2rem;
  margin: 1.2rem 0;
}
.paper-card h2 { border: none; margin-top: 0; padding-bottom: 0; }
.paper-card .links { color: var(--muted); font-size: 0.95rem; }
.result {
  border-left: 3px solid var(--accent);
  padding: 0.3rem 0 0.3rem 1rem;
  margin: 1rem 0;
}
code, pre {
  font-family: "SF Mono", Menlo, Consolas, monospace;
  font-size: 0.88em;
}
pre {
  overflow-x: auto;
  padding: 0.7rem 1rem;
  border: 1px solid var(--rule);
  border-radius: 6px;
}
footer {
  margin-top: 3rem;
  padding-top: 1rem;
  border-top: 1px solid var(--rule);
  color: var(--muted);
  font-size: 0.9rem;
}
mjx-container[display="true"] { overflow-x: auto; overflow-y: hidden; }