:root {
  --bg: #0e1116;
  --fg: #d8dee9;
  --muted: #7d8590;
  --proven: #2ea043;
  --analytic: #58a6ff;
  --axiom: #d29922;
  --open: #f85149;
  --border: #21262d;
  --card: #161b22;
  --card2: #1c2230;
  --accent: #bc8cff;
  --link: #58a6ff;
}

* { box-sizing: border-box; }
html { scroll-behavior: smooth; }
html, body {
  margin: 0; padding: 0;
  background: var(--bg); color: var(--fg);
  font: 15.5px/1.7 -apple-system, BlinkMacSystemFont, "Segoe UI", "Noto Sans SC", Inter, system-ui, sans-serif;
}
body { max-width: 940px; margin: 0 auto; padding: 24px 20px 120px; }

a { color: var(--link); text-decoration: none; }
a:hover { text-decoration: underline; }

/* ---------- header ---------- */
header.site { border-bottom: 1px solid var(--border); padding-bottom: 20px; margin-bottom: 28px; }
header.site .kicker { color: var(--muted); font-size: 13px; letter-spacing: .04em; text-transform: uppercase; margin-bottom: 8px; }
header.site h1 { margin: 0 0 10px; font-size: 30px; line-height: 1.25; letter-spacing: -0.01em; }
header.site .sub { color: var(--muted); margin: 0; font-size: 14.5px; }

/* problem statement box */
.stmt {
  background: var(--card); border: 1px solid var(--border); border-left: 3px solid var(--accent);
  padding: 14px 18px; border-radius: 6px; margin: 20px 0;
}
.stmt .lbl { color: var(--accent); font-size: 12px; font-weight: 600; letter-spacing: .06em; text-transform: uppercase; margin-bottom: 6px; }

/* ---------- nav / legend ---------- */
.legend { display: flex; flex-wrap: wrap; gap: 8px; margin: 18px 0 30px; font-size: 12px; }
.chip { padding: 3px 11px; border-radius: 999px; border: 1px solid var(--border); font-weight: 500; }
.chip.proven { color: var(--proven); border-color: var(--proven); }
.chip.analytic { color: var(--analytic); border-color: var(--analytic); }
.chip.axiom { color: var(--axiom); border-color: var(--axiom); }
.chip.open { color: var(--open); border-color: var(--open); }

nav.toc {
  background: var(--card); border: 1px solid var(--border); border-radius: 8px;
  padding: 14px 18px; margin-bottom: 34px; font-size: 14px;
}
nav.toc .t { color: var(--muted); font-size: 12px; text-transform: uppercase; letter-spacing: .05em; margin-bottom: 8px; }
nav.toc ol { margin: 0; padding-left: 22px; }
nav.toc li { margin: 3px 0; }
nav.toc .num { color: var(--muted); }

/* ---------- sections ---------- */
section { margin-bottom: 46px; }
h2 { margin: 0 0 16px; font-size: 21px; border-bottom: 1px solid var(--border); padding-bottom: 8px; scroll-margin-top: 20px; }
h2 .en { color: var(--muted); font-size: 15px; font-weight: 400; }
h3 { margin: 26px 0 8px; font-size: 16.5px; color: #fff; }
h4 { margin: 18px 0 6px; font-size: 14px; color: var(--fg); }
p { margin: 10px 0; }

/* ---------- proof-node cards ---------- */
.node {
  border: 1px solid var(--border); background: var(--card);
  border-left-width: 3px; padding: 12px 16px; border-radius: 5px; margin: 12px 0;
}
.node .title { font-weight: 600; margin-bottom: 6px; }
.node .lean { font-family: ui-monospace, "SF Mono", Menlo, monospace; font-size: 12.5px; color: var(--accent); }
.node .body { font-size: 14px; }
.node.proven { border-left-color: var(--proven); }
.node.analytic { border-left-color: var(--analytic); }
.node.axiom { border-left-color: var(--axiom); background: var(--card2); }
.node.open { border-left-color: var(--open); }
.tag { display: inline-block; font-size: 11px; padding: 1px 8px; border-radius: 999px; margin-left: 8px; vertical-align: middle; font-weight: 600; }
.tag.proven { color: var(--proven); border: 1px solid var(--proven); }
.tag.axiom { color: var(--axiom); border: 1px solid var(--axiom); }
.tag.analytic { color: var(--analytic); border: 1px solid var(--analytic); }

/* callouts */
.callout { border: 1px solid var(--border); border-radius: 6px; padding: 12px 16px; margin: 16px 0; background: var(--card); font-size: 14px; }
.callout.warn { border-left: 3px solid var(--axiom); }
.callout.key { border-left: 3px solid var(--accent); }
.callout .h { font-weight: 600; margin-bottom: 4px; }

/* code */
pre, code { font-family: ui-monospace, "SF Mono", Menlo, monospace; }
code { background: var(--card2); padding: 1px 5px; border-radius: 4px; font-size: 90%; }
pre { background: var(--card); border: 1px solid var(--border); border-radius: 6px; padding: 12px 14px; overflow-x: auto; font-size: 12.5px; line-height: 1.55; }
pre code { background: none; padding: 0; }

/* tables */
table { border-collapse: collapse; width: 100%; font-size: 13.5px; margin: 14px 0; }
th, td { border: 1px solid var(--border); padding: 7px 10px; text-align: left; vertical-align: top; }
th { background: var(--card2); }

/* svg figures */
figure { margin: 22px 0; text-align: center; }
figure svg { max-width: 100%; height: auto; background: var(--card); border: 1px solid var(--border); border-radius: 8px; }
figcaption { color: var(--muted); font-size: 13px; margin-top: 8px; }
.svg-cap { fill: var(--muted); font-size: 12px; }

/* materials list */
.files { list-style: none; padding: 0; }
.files li { border: 1px solid var(--border); background: var(--card); border-radius: 6px; padding: 10px 14px; margin: 8px 0; font-size: 13.5px; }
.files .fn { font-family: ui-monospace, monospace; color: var(--fg); }
.files .fd { color: var(--muted); }

footer.site { border-top: 1px solid var(--border); margin-top: 60px; padding-top: 18px; color: var(--muted); font-size: 13px; }

/* katex sizing */
.katex { font-size: 1.04em; }
.katex-display { overflow-x: auto; overflow-y: hidden; padding: 4px 0; }
@media (max-width: 640px){ body{padding:16px 14px 90px;} header.site h1{font-size:24px;} }