/* ---- tokens ---- */
:root {
  --bg: #0e1116;
  --bg-elev: #161b22;
  --bg-elev-2: #1d242d;
  --border: #262e38;
  --text: #e6edf3;
  --muted: #8b949e;
  --accent: #7ee787;
  --accent-2: #79c0ff;
  --warn: #ffa657;
  --danger: #ff7b72;
  --radius: 14px;
  --radius-sm: 8px;
  --maxw: 1080px;
  --shadow: 0 1px 0 rgba(255,255,255,.04), 0 8px 24px rgba(0,0,0,.35);
  --mono: ui-monospace, SFMono-Regular, "JetBrains Mono", Menlo, Consolas, monospace;
  --sans: "Libre Caslon Text", Georgia, "Times New Roman", Times, serif;
  --display: "Libre Caslon Text", Georgia, "Times New Roman", Times, serif;
}

@media (prefers-color-scheme: light) {
  :root {
    --bg: #f7f8fa;
    --bg-elev: #ffffff;
    --bg-elev-2: #f0f3f7;
    --border: #d8dee4;
    --text: #1f2328;
    --muted: #59636e;
    --accent: #1a7f37;
    --accent-2: #0969da;
    --warn: #bc4c00;
    --danger: #cf222e;
    --shadow: 0 1px 0 rgba(0,0,0,.02), 0 8px 24px rgba(0,0,0,.06);
  }
}

* { box-sizing: border-box; }
html, body { margin: 0; padding: 0; }
body {
  background: var(--bg);
  color: var(--text);
  font-family: var(--sans);
  font-size: 16px;
  line-height: 1.55;
  -webkit-font-smoothing: antialiased;
}
code { font-family: var(--mono); font-size: .92em; background: var(--bg-elev-2); padding: .1em .35em; border-radius: 4px; }
a { color: var(--accent-2); text-decoration: none; }
a:hover { text-decoration: underline; }
em { font-style: italic; color: var(--text); }
.muted { color: var(--muted); }
.small { font-size: .9em; }

/* ---- top bar ---- */
.topbar {
  display: flex; align-items: center; justify-content: space-between;
  padding: 14px 24px;
  border-bottom: 1px solid var(--border);
  background: color-mix(in oklab, var(--bg-elev) 80%, transparent);
  backdrop-filter: blur(8px);
  position: sticky; top: 0; z-index: 10;
}
.brand {
  display: inline-flex; align-items: center; gap: .55rem;
  font-family: var(--mono); font-size: 1.05rem; color: var(--text);
}
.brand:hover { text-decoration: none; }
.brand-mark { background: var(--bg-elev-2); padding: .2em .55em; border-radius: 6px; border: 1px solid var(--border); }
.brand-mark.alt { color: var(--warn); }
.brand-sep { color: var(--muted); }
nav { display: flex; gap: .25rem; }
.nav-link {
  padding: .45rem .8rem; border-radius: 8px; color: var(--muted); font-size: .95rem;
}
.nav-link:hover { color: var(--text); background: var(--bg-elev-2); text-decoration: none; }
.nav-link.active { color: var(--text); background: var(--bg-elev-2); }
.nav-link.external::after { content: " ↗"; color: var(--muted); }

/* ---- layout ---- */
main { max-width: var(--maxw); margin: 0 auto; padding: 48px 24px 80px; }
section { margin-bottom: 64px; }
h1, h2, h3, h4 { font-family: var(--display); }
h1 { font-size: clamp(1.85rem, 4vw, 2.85rem); line-height: 1.15; margin: 0 0 .5em; letter-spacing: -.02em; }
h2 { font-size: 1.5rem; margin: 0 0 .6em; letter-spacing: -.01em; }
h3 { font-size: 1.1rem; margin: 0 0 .4em; }
p  { margin: 0 0 1em; }

/* ---- hero ---- */
.hero { padding: 24px 0 8px; }
.hero .lede { font-size: 1.15rem; color: var(--muted); max-width: 64ch; }
.hero .lede strong { color: var(--text); }
.hero-actions { display: flex; gap: .75rem; margin-top: 1.5rem; flex-wrap: wrap; }
.btn {
  display: inline-block; padding: .7rem 1.1rem; border-radius: 10px;
  font-weight: 600; font-size: .95rem; border: 1px solid transparent; cursor: pointer;
  transition: transform .04s ease, background .15s ease;
}
.btn:hover { text-decoration: none; }
.btn:active { transform: translateY(1px); }
.btn-primary { background: var(--accent); color: #0b1f10; }
.btn-primary:hover { background: color-mix(in oklab, var(--accent) 85%, white); }
.btn-ghost { background: transparent; color: var(--text); border-color: var(--border); }
.btn-ghost:hover { background: var(--bg-elev-2); }

/* ---- problem / definitions ---- */
.problem p { max-width: 70ch; }
.defs { display: grid; grid-template-columns: repeat(auto-fit, minmax(280px, 1fr)); gap: 16px; margin: 20px 0; }
.def {
  background: var(--bg-elev); border: 1px solid var(--border);
  border-radius: var(--radius); padding: 20px; box-shadow: var(--shadow);
}
.def header { display: flex; align-items: baseline; justify-content: space-between; margin-bottom: .35em; }
.def header h3 { font-family: var(--mono); margin: 0; font-size: 1.25rem; }
.def .pos { font-size: .8rem; color: var(--muted); text-transform: uppercase; letter-spacing: .12em; }
.def .example { color: var(--muted); border-left: 2px solid var(--border); padding-left: .8em; margin-top: 1em; }
.def .example span { color: var(--accent-2); font-weight: 600; margin-right: .35em; }
.def .cite { font-size: .85em; color: var(--muted); margin-bottom: 0; }

.rule {
  margin-top: 16px; padding: 16px 20px; background: var(--bg-elev-2);
  border-left: 3px solid var(--accent); border-radius: var(--radius-sm);
}
.rule h4 { margin: 0 0 .35em; font-size: 1rem; }
.rule p { margin: 0; color: var(--muted); }
.rule strong { color: var(--text); }

/* ---- stats ---- */
.stat-grid {
  display: grid; gap: 14px;
  grid-template-columns: repeat(auto-fit, minmax(170px, 1fr));
  margin-bottom: 32px;
}
.stat {
  background: var(--bg-elev); border: 1px solid var(--border);
  border-radius: var(--radius); padding: 18px 18px 16px;
  box-shadow: var(--shadow);
}
.stat .num { font-family: var(--mono); font-size: 1.9rem; font-weight: 600; color: var(--text); }
.stat .label { color: var(--muted); font-size: .9rem; margin-top: .15em; }
.stat.warn .num { color: var(--warn); }

.charts { display: grid; gap: 18px; grid-template-columns: 1fr; margin-bottom: 24px; }
@media (min-width: 760px) { .charts { grid-template-columns: 3fr 2fr; } }
.chart-card {
  background: var(--bg-elev); border: 1px solid var(--border);
  border-radius: var(--radius); padding: 22px; box-shadow: var(--shadow);
}
.chart { margin-top: 16px; display: flex; flex-direction: column; gap: 8px; }

.bar-row { display: grid; grid-template-columns: 64px 1fr 60px; align-items: center; gap: 10px; }
#ctx-chart .bar-row { grid-template-columns: 140px 1fr 60px; }
#ctx-chart .bar-row .bar-label { white-space: nowrap; }
.bar-row .bar-label { font-family: var(--mono); font-size: .85rem; color: var(--muted); text-align: right; }
.bar-row .bar-track { background: var(--bg-elev-2); border-radius: 6px; overflow: hidden; height: 14px; }
.bar-row .bar-fill {
  height: 100%; background: linear-gradient(90deg, var(--accent-2), var(--accent));
  border-radius: 6px; transition: width .4s ease;
}
.bar-row .bar-count { font-family: var(--mono); font-size: .85rem; color: var(--text); }

.top-list ol { padding-left: 1.5em; margin: 0; }
.top-list li { margin: .3em 0; }
.top-list .count { font-family: var(--mono); color: var(--warn); margin-left: .4em; }

/* ---- cta ---- */
.cta { text-align: center; padding: 36px 24px; background: var(--bg-elev); border-radius: var(--radius); border: 1px solid var(--border); }

/* ---- search page ---- */
.search-main { max-width: 880px; margin: 0 auto; padding: 32px 24px 80px; }
.search-hero h1 { font-size: 2rem; }
.search-box {
  position: relative; margin: 24px 0 8px;
}
.search-box input {
  width: 100%; padding: 16px 16px 16px 48px;
  font-size: 1.05rem; font-family: var(--sans);
  background: var(--bg-elev); color: var(--text);
  border: 1px solid var(--border); border-radius: 12px;
  outline: none; transition: border-color .15s, box-shadow .15s;
}
.search-box input:focus {
  border-color: var(--accent-2);
  box-shadow: 0 0 0 3px color-mix(in oklab, var(--accent-2) 25%, transparent);
}
.search-icon {
  position: absolute; left: 16px; top: 50%; transform: translateY(-50%);
  color: var(--muted); font-size: 1.4rem;
}

.results { display: grid; gap: 14px; margin-top: 24px; }
.repo-card {
  background: var(--bg-elev); border: 1px solid var(--border);
  border-radius: var(--radius); padding: 20px; box-shadow: var(--shadow);
}
.repo-card header { display: flex; justify-content: space-between; align-items: baseline; gap: 10px; flex-wrap: wrap; margin-bottom: 10px; }
.repo-card h2 { font-size: 1.05rem; margin: 0; font-family: var(--mono); }
.repo-card .repo-link { font-size: .9rem; }
.repo-meta { display: flex; gap: 10px; flex-wrap: wrap; align-items: center; margin-bottom: 12px; }
.badge {
  background: color-mix(in oklab, var(--warn) 18%, var(--bg-elev-2));
  color: var(--warn); padding: 4px 10px; border-radius: 999px; font-size: .85rem;
}
.badge strong { color: var(--warn); }
.ctx-tags { display: inline-flex; gap: 6px; flex-wrap: wrap; }
.ctx-tag {
  background: var(--bg-elev-2); color: var(--muted);
  padding: 3px 10px; border-radius: 999px; font-size: .78rem; border: 1px solid var(--border);
}

.examples { list-style: none; padding: 0; margin: 0; display: grid; gap: 10px; }
.examples li {
  background: var(--bg-elev-2); border: 1px solid var(--border);
  border-radius: var(--radius-sm); padding: 10px 14px;
  font-family: var(--mono); font-size: .85rem; line-height: 1.5;
  overflow-x: auto;
}
.examples .ex-loc { color: var(--muted); font-size: .78rem; margin-bottom: 4px; }
.examples .ex-loc .ex-ctx { color: var(--accent-2); }
.examples .ex-line { color: var(--text); white-space: pre-wrap; word-break: break-word; }
.examples .ex-line mark {
  background: color-mix(in oklab, var(--warn) 35%, transparent);
  color: inherit; padding: 0 2px; border-radius: 3px;
}
.show-more {
  margin-top: 12px; background: transparent; color: var(--accent-2);
  border: 1px solid var(--border); border-radius: 8px;
  padding: 6px 12px; cursor: pointer; font-size: .85rem;
}
.show-more:hover { background: var(--bg-elev-2); }

.no-results { text-align: center; color: var(--muted); padding: 32px 0; }

/* ---- footer ---- */
footer { border-top: 1px solid var(--border); padding: 24px; text-align: center; color: var(--muted); font-size: .85rem; }
footer a { color: var(--accent-2); }