:root {
  --bg: #0d1117;
  --panel: #131a24;
  --panel-2: #0a0e14;
  --border: #232c3a;
  --text: #d7dde6;
  --muted: #8a94a3;
  --accent: #4da3ff;
  --accent-dim: #1f3a5c;
  --good: #4ec98a;
  --bad: #ff6b6b;
  --warn: #e6c34d;
  --mono: ui-monospace, SFMono-Regular, "SF Mono", Menlo, Consolas, monospace;
  --sans: system-ui, -apple-system, Segoe UI, Roboto, Helvetica, Arial, sans-serif;
}

* { box-sizing: border-box; }

html, body {
  margin: 0;
  height: 100%;
  background: var(--bg);
  color: var(--text);
  font-family: var(--sans);
  font-size: 15px;
  line-height: 1.55;
}

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

.app {
  display: grid;
  grid-template-columns: 280px 1fr;
  height: 100vh;
  overflow: hidden;
}

/* ---- sidebar ---- */
.sidebar {
  background: var(--panel-2);
  border-right: 1px solid var(--border);
  display: flex;
  flex-direction: column;
  overflow: hidden;
}
.brand {
  padding: 18px 20px;
  border-bottom: 1px solid var(--border);
}
.brand h1 {
  font-size: 14px;
  letter-spacing: 0.04em;
  margin: 0;
  text-transform: uppercase;
}
.brand .sub { color: var(--muted); font-size: 12px; margin-top: 2px; }

.nav { overflow-y: auto; padding: 10px 0; flex: 1; }
.nav-section {
  padding: 14px 20px 6px;
  font-size: 11px;
  letter-spacing: 0.08em;
  text-transform: uppercase;
  color: var(--muted);
}
.nav a.item {
  display: block;
  padding: 8px 20px;
  color: var(--text);
  border-left: 3px solid transparent;
  font-size: 14px;
}
.nav a.item:hover { background: var(--panel); text-decoration: none; }
.nav a.item.active {
  background: var(--panel);
  border-left-color: var(--accent);
}
.nav a.item .meta {
  display: block;
  font-family: var(--mono);
  font-size: 11px;
  color: var(--muted);
}
.nav .empty { padding: 8px 20px; color: var(--muted); font-size: 13px; }

.sidebar-foot {
  border-top: 1px solid var(--border);
  padding: 12px 20px;
  font-size: 12px;
  color: var(--muted);
}

/* ---- main ---- */
.main { overflow: hidden; display: flex; flex-direction: column; }

.doc {
  overflow-y: auto;
  padding: 40px 48px;
  max-width: 1000px;
}
.doc .lede { max-width: 760px; color: var(--text); font-size: 16px; }
.doc h1 { font-size: 26px; margin-top: 0; }
.doc h2 { font-size: 18px; margin-top: 32px; }
.doc code {
  font-family: var(--mono);
  background: var(--panel);
  padding: 1px 5px;
  border-radius: 4px;
  font-size: 13px;
}
.doc pre {
  background: var(--panel);
  border: 1px solid var(--border);
  padding: 14px;
  border-radius: 8px;
  overflow-x: auto;
}
.doc pre code { background: none; padding: 0; }

/* ---- homepage leaderboard (DeepSWE-style) ---- */
.leaderboard { margin: 28px 0 36px; }
.leaderboard .empty,
.board-empty {
  color: var(--muted); font-size: 13px; padding: 24px;
  text-align: center; font-family: var(--mono);
}

/* scatter card */
.board-card {
  background: var(--panel);
  border: 1px solid var(--border);
  border-radius: 12px;
  padding: 16px 18px 10px;
  margin-bottom: 22px;
}
.scatter { width: 100%; height: auto; display: block; }
.scatter .grid { stroke: var(--border); stroke-width: 1; opacity: 0.5; }
.scatter .axis { fill: var(--muted); font-size: 9.5px; font-family: var(--mono); }
.scatter .axis-title {
  fill: var(--muted); font-size: 9.5px;
  text-transform: uppercase; letter-spacing: 0.06em;
}
.scatter .dot { cursor: pointer; transition: r 0.12s ease; }
.scatter .dot-link:hover .dot { r: 8; }
.scatter .dot.good { fill: var(--good); }
.scatter .dot.warn { fill: var(--warn); }
.scatter .dot.bad  { fill: var(--bad); }
.scatter .dot-label {
  fill: var(--muted); font-size: 9px; font-family: var(--mono);
  pointer-events: none;
}
.scatter .dot-link:hover .dot-label { fill: var(--text); }

/* ranked table */
.board-wrap { overflow-x: auto; }
.board {
  width: 100%;
  border-collapse: collapse;
  font-size: 13px;
}
.board thead th {
  text-align: left;
  font-size: 11px;
  text-transform: uppercase;
  letter-spacing: 0.06em;
  color: var(--muted);
  font-weight: 600;
  padding: 0 12px 8px;
  border-bottom: 1px solid var(--border);
  white-space: nowrap;
}
.board tbody td {
  padding: 9px 12px;
  border-bottom: 1px solid var(--border);
  white-space: nowrap;
}
.board tbody tr { cursor: pointer; }
.board tbody tr:hover td { background: var(--panel); }
.board .t-rank { color: var(--muted); font-family: var(--mono); width: 28px; }
.board .t-harness { font-weight: 600; }
.board .t-num { font-family: var(--mono); text-align: right; }
.board .t-muted { color: var(--muted); }
.board .t-score .nav-score { display: inline-block; }

/* ---- bench header ---- */
.bench-head {
  border-bottom: 1px solid var(--border);
  padding: 16px 24px;
  background: var(--panel);
  position: relative;
}
.header-toggle {
  position: absolute;
  top: 16px;
  right: 18px;
  z-index: 6;
  font: inherit;
  font-size: 11px;
  color: var(--muted);
  background: var(--panel-2);
  border: 1px solid var(--border);
  border-radius: 5px;
  padding: 3px 9px;
  cursor: pointer;
}
.header-toggle:hover { color: var(--text); border-color: var(--accent-dim); }

/* collapsed state: hide the header, show a floating restore pill over the viewer */
#view-bench { position: relative; }
#view-bench.header-hidden .bench-head { display: none; }
.header-restore { display: none; }
#view-bench.header-hidden .header-restore {
  display: block;
  position: absolute;
  top: 10px;
  left: 50%;
  transform: translateX(-50%);
  z-index: 5;
  font: inherit;
  font-size: 11px;
  color: var(--muted);
  background: var(--panel);
  border: 1px solid var(--border);
  border-radius: 999px;
  padding: 4px 12px;
  cursor: pointer;
  opacity: 0.85;
}
#view-bench.header-hidden .header-restore:hover { color: var(--text); opacity: 1; }
.bench-head .title { font-size: 16px; font-family: var(--mono); margin: 0 0 10px; }
.facts { display: flex; flex-wrap: wrap; gap: 8px 18px; align-items: center; }
.fact { font-size: 12px; color: var(--muted); }
.fact b { color: var(--text); font-family: var(--mono); font-weight: 600; }

.badge {
  font-size: 11px;
  padding: 2px 8px;
  border-radius: 999px;
  border: 1px solid var(--border);
  font-family: var(--mono);
}
.badge.good { color: var(--good); border-color: var(--good); }
.badge.bad  { color: var(--bad);  border-color: var(--bad); }
.badge.warn { color: var(--warn); border-color: var(--warn); }
.badge.muted { color: var(--muted); }

.bench-links { margin-top: 10px; display: flex; gap: 14px; font-size: 12px; }

/* ---- viewer iframe ---- */
.viewer { flex: 1; position: relative; background: #fff; }
.viewer iframe { width: 100%; height: 100%; border: 0; }
.viewer .placeholder {
  position: absolute; inset: 0;
  display: flex; align-items: center; justify-content: center;
  background: var(--panel-2); color: var(--muted);
  font-family: var(--mono); font-size: 14px; text-align: center; padding: 24px;
}

.loading { padding: 40px 48px; color: var(--muted); }

/* ---- notes button + dialog ---- */
.bench-actions {
  margin-top: 12px;
  display: flex;
  align-items: center;
  gap: 16px;
  flex-wrap: wrap;
}
.btn-notes {
  font: inherit;
  font-size: 13px;
  font-weight: 600;
  color: var(--bg);
  background: var(--accent);
  border: 0;
  border-radius: 6px;
  padding: 7px 14px;
  cursor: pointer;
  transition: filter 0.12s ease;
}
.btn-notes:hover { filter: brightness(1.1); }
.bench-actions .bench-links { margin-top: 0; }

.notes-dialog {
  width: min(760px, 92vw);
  max-height: 82vh;
  padding: 0;
  border: 1px solid var(--border);
  border-radius: 12px;
  background: var(--panel);
  color: var(--text);
  box-shadow: 0 24px 64px rgba(0, 0, 0, 0.5);
  overflow: hidden;
}
.notes-dialog::backdrop { background: rgba(5, 8, 13, 0.66); }
.notes-dialog-head {
  display: flex;
  align-items: center;
  justify-content: space-between;
  padding: 14px 20px;
  border-bottom: 1px solid var(--border);
  background: var(--panel-2);
  font-family: var(--mono);
  font-size: 13px;
}
.notes-close {
  font: inherit;
  font-size: 15px;
  line-height: 1;
  color: var(--muted);
  background: none;
  border: 0;
  cursor: pointer;
  padding: 4px 6px;
  border-radius: 5px;
}
.notes-close:hover { color: var(--text); background: var(--border); }

/* ---- markdown rendering (used inside the notes dialog) ---- */
.markdown {
  padding: 20px 24px 28px;
  overflow-y: auto;
  max-height: calc(82vh - 50px);
  line-height: 1.6;
}
.markdown > :first-child { margin-top: 0; }
.markdown h1 { font-size: 20px; margin: 24px 0 10px; }
.markdown h2 { font-size: 16px; margin: 22px 0 8px; }
.markdown h3 { font-size: 14px; margin: 18px 0 6px; color: var(--muted); text-transform: uppercase; letter-spacing: 0.04em; }
.markdown p { margin: 10px 0; }
.markdown ul, .markdown ol { margin: 10px 0; padding-left: 22px; }
.markdown li { margin: 4px 0; }
.markdown a { color: var(--accent); }
.markdown code {
  font-family: var(--mono);
  font-size: 12.5px;
  background: var(--panel-2);
  border: 1px solid var(--border);
  padding: 1px 5px;
  border-radius: 4px;
}
.markdown pre {
  background: var(--panel-2);
  border: 1px solid var(--border);
  border-radius: 8px;
  padding: 14px;
  overflow-x: auto;
}
.markdown pre code { background: none; border: 0; padding: 0; }
.markdown blockquote {
  margin: 12px 0;
  padding: 4px 14px;
  border-left: 3px solid var(--accent-dim);
  color: var(--muted);
}
.markdown hr { border: 0; border-top: 1px solid var(--border); margin: 18px 0; }
.markdown table { border-collapse: collapse; margin: 12px 0; font-size: 13px; }
.markdown th, .markdown td { border: 1px solid var(--border); padding: 6px 10px; text-align: left; }
.markdown .muted { color: var(--muted); }

/* ---- bench header: two-column grid (identity | score) ---- */
.bh-grid { display: flex; gap: 28px; align-items: flex-start; }
.bh-main { flex: 1; min-width: 0; }
.bh-main .title { margin-bottom: 12px; }

.meta-strip {
  display: flex; flex-wrap: wrap; gap: 4px 18px;
  font-size: 12px; color: var(--muted); margin-bottom: 4px;
}
.meta-strip .fact b { color: var(--text); font-family: var(--mono); font-weight: 600; }
.bh-summary { font-size: 13px; color: var(--text); margin: 10px 0 0; max-width: 60ch; }

/* score rail */
.bh-score {
  flex: 0 0 232px;
  border: 1px solid var(--border);
  border-radius: 10px;
  background: var(--panel-2);
  padding: 14px 16px;
}
.score-panel { display: flex; align-items: baseline; gap: 10px; }
.score-num {
  font-family: var(--mono); font-weight: 700; font-size: 34px; line-height: 1;
}
.score-num span { font-size: 13px; font-weight: 500; opacity: 0.5; margin-left: 2px; }
.score-num.good { color: var(--good); }
.score-num.warn { color: var(--warn); }
.score-num.bad  { color: var(--bad); }
.score-num.void { color: var(--bad); font-size: 24px; }
.score-pending {
  font-family: var(--mono); font-size: 17px; font-weight: 600;
  text-transform: uppercase; letter-spacing: 0.08em; color: var(--muted);
}
.score-label {
  font-size: 11px; text-transform: uppercase; letter-spacing: 0.06em; color: var(--muted);
}
.score-label.good { color: var(--good); }
.score-label.warn { color: var(--warn); }
.score-label.bad  { color: var(--bad); }

.cbars { margin: 14px 0 12px; display: flex; flex-direction: column; gap: 7px; }
.cbar { display: grid; grid-template-columns: 74px 1fr 24px; align-items: center; gap: 9px; font-size: 11px; }
.cbar-label { color: var(--muted); white-space: nowrap; }
.cbar-track { height: 5px; background: var(--bg); border-radius: 3px; overflow: hidden; }
.cbar-fill { display: block; height: 100%; border-radius: 3px; transition: width 0.3s ease; }
.cbar-fill.good { background: var(--good); }
.cbar-fill.warn { background: var(--warn); }
.cbar-fill.bad  { background: var(--bad); }
.cbar-fill.na   { background: var(--border); }
.cbar-val { font-family: var(--mono); text-align: right; color: var(--muted); }
.cbar-val.good { color: var(--good); }
.cbar-val.warn { color: var(--warn); }
.cbar-val.bad  { color: var(--bad); }

.btn-grade {
  width: 100%;
  font: inherit; font-size: 11px; color: var(--accent);
  background: none; border: 1px solid var(--accent-dim); border-radius: 6px;
  padding: 6px 10px; cursor: pointer;
}
.btn-grade:hover { background: var(--accent-dim); }

@media (max-width: 720px) {
  .bh-grid { flex-direction: column; }
  .bh-score { flex-basis: auto; align-self: stretch; }
}

/* ---- nav score chip ---- */
.nav a.item .item-row { display: flex; align-items: center; justify-content: space-between; gap: 8px; }
.nav-score {
  font-family: var(--mono); font-size: 11px; font-weight: 700;
  padding: 1px 6px; border-radius: 4px; border: 1px solid var(--border);
}
.nav-score.good { color: var(--good); border-color: var(--good); }
.nav-score.warn { color: var(--warn); border-color: var(--warn); }
.nav-score.bad  { color: var(--bad);  border-color: var(--bad); }
.nav-score.void { color: var(--bad); border-color: var(--bad); }
.nav-score.ungraded { color: var(--muted); }

/* ---- grade detail dialog ---- */
.grade-detail { padding: 18px 24px 26px; overflow-y: auto; max-height: calc(82vh - 50px); }
.grade-summary { font-family: var(--mono); font-size: 14px; margin-bottom: 8px; }
.grade-detail h3 {
  font-size: 12px; text-transform: uppercase; letter-spacing: 0.05em;
  color: var(--muted); margin: 20px 0 6px; display: flex; justify-content: space-between; align-items: baseline;
}
.cat-pct { font-family: var(--mono); font-weight: 700; }
.cat-pct.good { color: var(--good); }
.cat-pct.warn { color: var(--warn); }
.cat-pct.bad  { color: var(--bad); }
.grade-table { width: 100%; border-collapse: collapse; font-size: 13px; }
.grade-table td { padding: 5px 0; border-bottom: 1px solid var(--border); }
.grade-table td:last-child { text-align: right; width: 80px; }
.grade-note { margin: 8px 0 0; font-size: 12px; line-height: 1.5; color: var(--muted); }
.mark { font-family: var(--mono); font-size: 11px; font-weight: 600; padding: 1px 8px; border-radius: 4px; }
.mark.mpass { color: var(--good); background: rgba(78,201,138,0.14); }
.mark.mgood { color: #8fd9b0; background: rgba(78,201,138,0.08); }
.mark.mpartial { color: var(--warn); background: rgba(230,195,77,0.12); }
.mark.mpoor { color: #e6a24d; background: rgba(230,162,77,0.12); }
.mark.mfail { color: var(--bad); background: rgba(255,107,107,0.12); }
.mark.mna { color: var(--muted); background: var(--panel-2); }