:root {
  --bg: #fcfcfb; --surface: #ffffff; --ink: #0b0b0b; --ink2: #52514e; --muted: #898781;
  --grid: #e1e0d9; --accent: #2a78d6; --flag: #eb6834; --exact: #1baf7a; --record: #104281;
  --sans: ui-sans-serif, system-ui, -apple-system, "Segoe UI", Helvetica, Arial, sans-serif;
  --serif: "Iowan Old Style", "Palatino Linotype", Palatino, Georgia, serif;
  --mono: ui-monospace, "SF Mono", "JetBrains Mono", Menlo, Consolas, monospace;
}
@media (prefers-color-scheme: dark) {
  :root {
    --bg: #1a1a19; --surface: #211f1e; --ink: #ffffff; --ink2: #c3c2b7; --muted: #898781;
    --grid: #2c2c2a; --accent: #3987e5; --flag: #d95926; --exact: #199e70; --record: #9ec5f4;
  }
}
* { 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.6; text-rendering: optimizeLegibility;
}
a { color: var(--accent); text-decoration-thickness: 1px; text-underline-offset: 2px; }
a:hover { text-decoration-thickness: 2px; }
code { font-family: var(--mono); font-size: 0.9em; }
h1, h2, h3 { font-family: var(--serif); font-weight: 600; line-height: 1.2; letter-spacing: -0.01em; }
h1 { font-size: 2.1rem; margin: 0 0 0.6rem; }
h2 { font-size: 1.45rem; margin: 2.6rem 0 0.6rem; }
h3 { font-size: 1.1rem; margin: 2rem 0 0.4rem; }
h4, h5, h6 { font-family: var(--sans); font-size: 1rem; margin: 1.6rem 0 0.4rem; }
p { margin: 0.8rem 0; max-width: 46em; }
.muted { color: var(--muted); }
.lead { font-size: 1.15rem; color: var(--ink2); max-width: 42em; }
.num { font-family: var(--mono); font-variant-numeric: tabular-nums; }

header.site {
  display: flex; flex-wrap: wrap; gap: 1rem 2rem; align-items: baseline;
  justify-content: space-between; padding: 1.4rem clamp(1rem, 4vw, 3rem);
  border-bottom: 1px solid var(--grid);
}
.wordmark {
  font-family: var(--serif); font-size: 1.3rem; font-weight: 600; color: var(--ink);
  text-decoration: none; letter-spacing: 0.02em;
}
.wordmark span {
  display: block; font-family: var(--sans); font-size: 0.72rem; font-weight: 400;
  letter-spacing: 0.08em; text-transform: uppercase; color: var(--muted);
}
header.site nav { display: flex; flex-wrap: wrap; gap: 1.2rem; font-size: 0.95rem; }
header.site nav a { color: var(--ink2); text-decoration: none; }
header.site nav a:hover { color: var(--accent); }
header.site nav a[aria-current] { color: var(--ink); box-shadow: inset 0 -2px 0 var(--accent); }
header.site nav a.ext { color: var(--muted); }

main { padding: 2.4rem clamp(1rem, 4vw, 3rem) 4rem; max-width: 52rem; }
main.wide { max-width: 78rem; }

footer.site {
  border-top: 1px solid var(--grid); padding: 1.6rem clamp(1rem, 4vw, 3rem) 3rem;
  font-size: 0.9rem; color: var(--ink2);
}
footer.site p { margin: 0.3rem 0; }

.tiles { display: flex; flex-wrap: wrap; gap: 0.6rem; list-style: none; padding: 0; margin: 1.6rem 0; }
.tiles li {
  flex: 1 1 8rem; padding: 0.8rem 1rem; background: var(--surface);
  border: 1px solid var(--grid); border-radius: 3px;
}
.tiles b { display: block; font-family: var(--mono); font-size: 1.6rem; line-height: 1.1; }
.tiles span { font-size: 0.82rem; color: var(--muted); }

.scroll { overflow-x: auto; margin: 1.2rem 0; }
table { border-collapse: collapse; width: 100%; font-size: 0.9rem; }
th, td { text-align: left; vertical-align: top; padding: 0.55rem 0.8rem 0.55rem 0; border-bottom: 1px solid var(--grid); }
thead th {
  font-size: 0.78rem; letter-spacing: 0.04em; color: var(--muted);
  font-weight: 500; border-bottom: 1px solid var(--ink2); white-space: nowrap;
}
tbody tr:hover { background: var(--surface); }
tbody th { font-weight: 500; }
td.num, td .num { font-family: var(--mono); font-variant-numeric: tabular-nums; white-space: nowrap; }
td.record .num { font-weight: 600; color: var(--record); }
td.none { color: var(--muted); }
.leaderboard th[scope="row"] { min-width: 14rem; }
.rows tr.is-record td { background: color-mix(in srgb, var(--accent) 7%, transparent); }
.rows tr.is-flagged td:first-child { box-shadow: inset 3px 0 0 var(--flag); }
.tag {
  margin-left: 0.5rem; font-family: var(--sans); font-size: 0.65rem; text-transform: uppercase;
  letter-spacing: 0.08em; color: var(--accent);
}
.badges { margin-top: 0.3rem; display: flex; flex-wrap: wrap; gap: 0.3rem; }
.badge {
  font-size: 0.7rem; color: var(--ink2); border: 1px solid var(--grid);
  border-radius: 999px; padding: 0.05rem 0.5rem; white-space: nowrap;
}
.badge.flag { color: var(--flag); border-color: var(--flag); }
.legend { font-size: 0.9rem; color: var(--ink2); max-width: 46em; }
.more { font-weight: 500; }

.record-box {
  background: var(--surface); border: 1px solid var(--grid); border-left: 3px solid var(--accent);
  border-radius: 3px; padding: 1rem 1.2rem; margin: 1.6rem 0;
}
.record-box.none { border-left-color: var(--muted); }
.record-box p { margin: 0.25rem 0; }
.eyebrow { font-size: 0.7rem; text-transform: uppercase; letter-spacing: 0.1em; color: var(--muted); }
.big { font-family: var(--mono); font-size: 1.8rem; font-weight: 600; }
.big .unit { font-family: var(--sans); font-size: 0.8rem; font-weight: 400; color: var(--muted); margin-left: 0.5rem; }

.crumbs { font-size: 0.85rem; color: var(--muted); margin: 0 0 0.6rem; }
.crumbs a { color: var(--muted); }
.id { margin-top: -0.3rem; }
.formula {
  font-family: var(--mono); font-size: 1.05rem; background: var(--surface);
  border: 1px solid var(--grid); border-radius: 3px; padding: 0.9rem 1rem; overflow-x: auto;
}
.ham { white-space: nowrap; }
dl.facts { display: flex; flex-wrap: wrap; gap: 0.4rem 2rem; margin: 1rem 0; }
dl.facts dt { font-size: 0.72rem; text-transform: uppercase; letter-spacing: 0.08em; color: var(--muted); }
dl.facts dd { margin: 0; }

section.bound { margin: 1.8rem 0; }
section.bound h3 { margin-bottom: 0.2rem; }
section.bound p.muted { font-size: 0.88rem; max-width: 46em; margin: 0.2rem 0 0.6rem; }

details { border-top: 1px solid var(--grid); padding: 0.6rem 0; }
details summary { cursor: pointer; }
details[open] summary { margin-bottom: 0.4rem; }
details p { max-width: 46em; font-size: 0.92rem; }
details.defect summary b { color: var(--flag); }

.cite { background: var(--surface); border: 1px solid var(--grid); border-radius: 3px; padding: 0.4rem 1.2rem 1.2rem; margin-top: 2.4rem; }
.cite h2 { margin-top: 1.2rem; }

#filter {
  font: inherit; font-size: 0.95rem; padding: 0.5rem 0.7rem; width: min(28rem, 100%);
  background: var(--surface); color: var(--ink); border: 1px solid var(--grid); border-radius: 3px;
}
#filter-count { margin-left: 0.6rem; font-size: 0.85rem; }
nav.jump { display: flex; flex-wrap: wrap; gap: 1rem; font-size: 0.9rem; margin: 1rem 0 0; }

.prose { max-width: 44em; }
.prose h2 { border-bottom: 1px solid var(--grid); padding-bottom: 0.3rem; }
.prose table { font-size: 0.88rem; }
.prose li { margin: 0.35rem 0; }
.prose blockquote { margin: 1rem 0; padding-left: 1rem; border-left: 3px solid var(--grid); color: var(--ink2); }
pre {
  background: var(--surface); border: 1px solid var(--grid); border-radius: 3px;
  padding: 0.9rem 1rem; overflow-x: auto; font-size: 0.82rem; line-height: 1.5;
}
.anchor {
  margin-left: 0.4rem; color: var(--grid); text-decoration: none; font-size: 0.8em;
  opacity: 0; transition: opacity 0.1s;
}
h1:hover .anchor, h2:hover .anchor, h3:hover .anchor, h4:hover .anchor { opacity: 1; color: var(--muted); }
hr { border: 0; border-top: 1px solid var(--grid); margin: 2rem 0; }