/* copperbench site. Layout follows a leaderboard-first benchmark page: fixed
   sidebar, header band, the table as the main content. Type and color follow
   the copperhead docs (docs.copperhead.sh) so the two sites read as one
   project: the same Fontsource Inter Variable and IBM Plex Mono, Starlight's
   type scale and line heights, the same gray ramp and copper accent. */

:root {
  --bg: #1b1b1c;
  --bg-alt: #232425;
  --border: #343638;
  --border-strong: #4c4f53;
  --text: #e3e5e8;
  --text-strong: #f7f8f8;
  --text-secondary: #b3b8be;
  --text-muted: #8a9098;
  --accent: #c47a3a;
  --accent-text: #e6a366;
  --accent-high: #f2b57e;
  --accent-low: #3b2614;
  --accent-pill: rgba(196, 122, 58, 0.16);
  --accent-row: rgba(196, 122, 58, 0.08);
  --hover: rgba(255, 255, 255, 0.05);
  --on-accent: #1b1b1c;
  --band-text: #fff7ec;
  --pass: #10b981;
  --fail: #ef4444;

  --sidebar-width: 260px;
  --container-width: 1200px;

  /* Starlight's type scale, as the copperhead docs use it. */
  --text-2xs: 0.75rem;
  --text-xs: 0.8125rem;
  --text-sm: 0.875rem;
  --text-base: 1rem;
  --text-lg: 1.125rem;
  --text-xl: 1.25rem;
  --text-2xl: 1.5rem;
  --text-3xl: 1.8125rem;
  --text-4xl: 2.1875rem;
  --text-5xl: 2.625rem;
  --text-code: 0.875rem;
  --text-code-sm: 0.8125rem;
  --text-label: 0.6875rem;
  --line-height: 1.65;
  --line-height-headings: 1.25;

  --font: "Inter Variable", ui-sans-serif, system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", Arial, "Noto Sans", sans-serif;
  --font-mono: "IBM Plex Mono", ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace;
}

* { box-sizing: border-box; }

html { color-scheme: dark; }

body {
  margin: 0;
  background: var(--bg);
  color: var(--text);
  font-family: var(--font);
  font-size: var(--text-base);
  line-height: var(--line-height);
  -webkit-font-smoothing: antialiased;
  -moz-osx-font-smoothing: grayscale;
}

a { color: var(--accent-text); text-decoration: none; }
a:hover { color: var(--text-strong); }
p { margin: 0; }
h1, h2, h3, h4 {
  margin: 0;
  color: var(--text-strong);
  font-weight: 600;
  line-height: var(--line-height-headings);
  letter-spacing: -0.015em;
  text-wrap: balance;
}
b, strong { color: var(--text); font-weight: 600; }

code {
  font-family: var(--font-mono);
  font-size: var(--text-code-sm);
  background: var(--bg-alt);
  box-shadow: inset 0 0 0 1px var(--border);
  border-radius: 0.375rem;
  padding: 0.125rem 0.375rem;
  color: var(--text);
}

.num { font-variant-numeric: tabular-nums; font-feature-settings: "tnum"; }
.mono { font-family: var(--font-mono); font-size: var(--text-code-sm); }
.muted { color: var(--text-muted); }
.right { text-align: right; }
.center { text-align: center; }

.icon { width: 1em; height: 1em; vertical-align: -0.125em; flex: none; }

/* Sidebar ------------------------------------------------------------ */

.sidebar {
  position: fixed;
  top: 0;
  left: 0;
  width: var(--sidebar-width);
  height: 100vh;
  background: var(--bg);
  border-right: 1px solid var(--border);
  display: flex;
  flex-direction: column;
  z-index: 10;
}

.sidebar-header {
  display: flex;
  align-items: center;
  justify-content: space-between;
  padding: 1.25rem 1rem;
  border-bottom: 1px solid var(--border);
}

.sidebar-logo {
  display: flex;
  align-items: center;
  gap: 0.5rem;
  font-size: var(--text-lg);
  font-weight: 600;
  letter-spacing: -0.01em;
  color: var(--text-strong);
  white-space: nowrap;
}
.sidebar-logo img { width: auto; height: 1.375rem; }

/* Shown only on narrow screens, where the nav folds behind it. */
.menu-toggle { display: none; }

.sidebar-nav { flex: 1; overflow-y: auto; padding: 1rem 0.75rem; }
.sidebar-nav ul { list-style: none; margin: 0; padding: 0; display: flex; flex-direction: column; gap: 1px; }
.sidebar-nav a {
  display: flex;
  align-items: center;
  gap: 0.625rem;
  padding: 0.5rem 0.75rem;
  border-radius: 0.5rem;
  font-size: var(--text-base);
  line-height: 1.35;
  color: var(--text-secondary);
  transition: background-color 0.12s, color 0.12s;
}
.sidebar-nav a:hover { background: var(--hover); color: var(--text-strong); }
.sidebar-nav a.active { background: var(--accent-pill); color: var(--accent-text); font-weight: 600; }
.sidebar-nav a .ext { color: var(--text-muted); width: 0.75rem; height: 0.75rem; }
/* The one outbound link that is the point of the whole page: the agent under test. */
.sidebar-nav a.highlight { color: var(--accent-text); font-weight: 600; }
.sidebar-nav a.highlight .ext { color: var(--accent-text); }
.sidebar-nav a.highlight:hover { background: var(--accent-pill); color: var(--accent-high); }
.sidebar-nav .section {
  padding: 0.25rem 0.75rem;
  margin-top: 1.25rem;
  font-size: var(--text-label);
  font-weight: 700;
  letter-spacing: 0.06em;
  text-transform: uppercase;
  color: var(--text-strong);
}

.sidebar-footer {
  display: flex;
  align-items: center;
  gap: 0.75rem;
  padding: 1rem;
  border-top: 1px solid var(--border);
  font-size: var(--text-sm);
  color: var(--text-secondary);
}
.sidebar-footer a { color: var(--text-secondary); display: flex; align-items: center; }
.sidebar-footer a:hover { color: var(--text-strong); }
.sidebar-footer .icon { width: 1.125rem; height: 1.125rem; }
.sidebar-footer .version { margin-left: auto; font-family: var(--font-mono); font-size: var(--text-xs); color: var(--text-muted); }

/* Main ---------------------------------------------------------------- */

.main { margin-left: var(--sidebar-width); min-height: 100vh; display: flex; flex-direction: column; }

.container {
  width: 80%;
  max-width: var(--container-width);
  margin: 0 auto;
  padding: 0 1.5rem;
}

.band { background: var(--accent-low); padding: 0.75rem 0; margin-bottom: 1rem; }
.hero {
  display: flex;
  flex-direction: column;
  align-items: center;
  text-align: center;
  gap: 0.75rem;
  padding: 2.5rem 1.5rem 2.25rem;
}
.hero img { width: 4.5rem; height: 4.5rem; }
.hero h1 { font-size: var(--text-5xl); color: var(--band-text); }
.hero p { max-width: 40rem; font-size: var(--text-lg); line-height: 1.55; color: rgba(255, 247, 236, 0.8); text-wrap: pretty; }
.hero p code { background: rgba(255, 255, 255, 0.08); box-shadow: none; color: var(--band-text); }
.hero .actions { display: flex; align-items: center; gap: 0.625rem; margin-top: 0.375rem; flex-wrap: wrap; justify-content: center; }

.button {
  display: inline-flex;
  align-items: center;
  height: 2.25rem;
  padding: 0 1rem;
  border-radius: 999px;
  font-size: var(--text-sm);
  font-weight: 600;
  white-space: nowrap;
  transition: background-color 0.12s, transform 0.12s;
}
.button-primary { background: var(--accent); color: var(--on-accent); }
.button-primary:hover { background: #d48a48; color: var(--on-accent); transform: translateY(-1px); }
.button-outline { border: 1px solid rgba(242, 181, 126, 0.35); color: var(--band-text); font-weight: 500; }
.button-outline:hover { border-color: var(--accent-high); color: var(--band-text); }

.section { padding: 0.25rem 0; margin-bottom: 2.75rem; }
.section-title {
  font-size: var(--text-4xl);
  margin-bottom: 1.5rem;
  padding-bottom: 0.75rem;
  border-bottom: 1px solid var(--border);
}
.section-lead { font-size: var(--text-base); color: var(--text-secondary); text-wrap: pretty; margin-bottom: 1rem; }

/* Leaderboard --------------------------------------------------------- */

.tabs { display: flex; gap: 0.5rem; border-bottom: 1px solid var(--border); padding-bottom: 0.25rem; margin-bottom: 0.75rem; }
.tab {
  position: relative;
  background: none;
  border: 0;
  padding: 0.625rem 1rem;
  font: inherit;
  font-size: var(--text-base);
  font-weight: 500;
  color: var(--text-secondary);
  cursor: pointer;
}
.tab:hover { color: var(--text-strong); }
.tab[aria-selected="true"] { color: var(--accent-text); }
.tab[aria-selected="true"]::after {
  content: "";
  position: absolute;
  left: 0;
  bottom: -0.25rem;
  width: 100%;
  height: 2px;
  border-radius: 2px;
  background: var(--accent);
}
.tab .count { margin-left: 0.375rem; font-size: var(--text-xs); color: var(--text-muted); }

.leaderboard-head { display: flex; flex-direction: column; gap: 0.75rem; margin-bottom: 0.75rem; }
.leaderboard-head p { font-size: var(--text-base); color: var(--text-secondary); text-wrap: pretty; }

.filters { display: flex; align-items: center; gap: 0.5rem; border-top: 1px solid var(--border); padding-top: 0.75rem; flex-wrap: wrap; }
.filters label {
  display: inline-flex;
  align-items: center;
  gap: 0.375rem;
  height: 2.25rem;
  padding: 0 0.625rem;
  border: 1px solid var(--border);
  border-radius: 0.5rem;
  background: var(--bg-alt);
  font-size: var(--text-sm);
  color: var(--text-secondary);
  cursor: pointer;
  white-space: nowrap;
}
.filters label:hover { border-color: var(--accent); }
.filters input { accent-color: var(--accent); cursor: pointer; }
.filters .hint { font-size: var(--text-xs); color: var(--text-muted); }

.panel[hidden] { display: none; }

.table-card {
  border: 1px solid var(--border);
  border-radius: 0.75rem;
  background: var(--bg);
  box-shadow: 0 1px 2px rgba(0, 0, 0, 0.3), 0 12px 28px -18px rgba(0, 0, 0, 0.6);
  overflow: auto;
}
.table { width: 100%; border-collapse: collapse; font-size: var(--text-sm); }
.table th {
  padding: 0.75rem 1rem;
  font-size: var(--text-sm);
  font-weight: 500;
  color: var(--text-secondary);
  background: var(--bg-alt);
  border-bottom: 1px solid var(--border);
  text-align: left;
  white-space: nowrap;
}
.table td { padding: 0.625rem 1rem; border-bottom: 1px solid var(--border); vertical-align: middle; }
.table tbody tr:last-child td { border-bottom: 0; }
.table tbody tr:hover { background: var(--accent-row); }
.table .rank { width: 2.75rem; text-align: right; padding-left: 0.25rem; padding-right: 0.625rem; font-size: var(--text-xs); color: var(--text-muted); }
.table .model { font-size: var(--text-base); font-weight: 500; color: var(--text-strong); }
.table .model-cell { display: flex; align-items: center; gap: 0.375rem; flex-wrap: wrap; }
.table .empty { padding: 2rem 1rem; text-align: center; color: var(--text-muted); }
.table .empty a { font-weight: 500; }
.table td.secondary { color: var(--text-secondary); }
.table td.muted { color: var(--text-muted); }
.table td.num.muted { font-size: var(--text-xs); }
.table td a.records { color: var(--text-muted); }
.table td a.records:hover { color: var(--accent-text); }

.meter { display: inline-block; width: 6.25rem; text-align: right; vertical-align: middle; }
.meter .value { display: block; font-size: var(--text-base); font-weight: 600; line-height: 1.25; color: var(--text-strong); }
.meter .track { display: block; height: 4px; margin-top: 5px; border-radius: 999px; background: var(--border); overflow: hidden; }
.meter .fill { display: block; height: 100%; margin-left: auto; background: linear-gradient(90deg, var(--accent), var(--accent-high)); }

.tag {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  width: 1.35rem;
  height: 1.35rem;
  border-radius: 999px;
  border: 1px solid transparent;
  flex: none;
}
.tag .icon { width: 0.625rem; height: 0.625rem; }
.tag-open { color: #d1fae5; background: rgba(16, 185, 129, 0.16); border-color: rgba(16, 185, 129, 0.35); }
.tag-api { color: var(--accent-high); background: var(--accent-pill); border-color: rgba(196, 122, 58, 0.35); }
.tag-null { color: var(--text-secondary); background: var(--hover); border-color: var(--border-strong); }

.verdict { display: inline-flex; align-items: center; gap: 0.375rem; font-weight: 500; }
.verdict::before { content: ""; width: 0.5rem; height: 0.5rem; border-radius: 999px; background: var(--text-muted); }
.verdict-pass::before { background: var(--pass); }
.verdict-fail::before { background: var(--fail); }
.verdict-unscoreable::before { background: var(--text-muted); }
.verdict-expected { color: var(--text-strong); }
.verdict-unexpected { color: var(--fail); }

.notes { margin: 2.5rem 0 1.5rem; display: flex; flex-direction: column; }
.notes > p { margin-bottom: 0.625rem; font-size: var(--text-sm); color: var(--text-muted); text-wrap: pretty; }
.legend { display: flex; flex-wrap: wrap; gap: 0.375rem 1.25rem; margin: 0 0 1.5rem; padding: 0; list-style: none; font-size: var(--text-sm); color: var(--text-muted); }
.legend li { display: flex; align-items: center; gap: 0.4rem; }

.cards { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 0.875rem; }
.card { padding: 1rem 1.125rem; border: 1px solid var(--border); border-radius: 0.75rem; background: var(--bg); transition: border-color 0.15s; }
.card:hover { border-color: var(--accent); }
.card-header { display: flex; align-items: baseline; justify-content: space-between; gap: 0.5rem; margin-bottom: 0.375rem; }
.card-header h4 { font-size: var(--text-sm); line-height: 1.3; letter-spacing: 0; }
.card-count { flex: none; font-size: var(--text-xs); font-weight: 500; color: var(--text-muted); }
.card p { margin-bottom: 0.5rem; font-size: var(--text-sm); line-height: 1.5; color: var(--text-muted); }
.card a { display: inline-flex; align-items: center; gap: 0.3rem; font-size: var(--text-sm); font-weight: 500; }

.wide-button {
  display: block;
  padding: 0.7rem 0.75rem;
  border-radius: 0.5rem;
  background: var(--accent-pill);
  color: var(--accent-text);
  font-size: var(--text-sm);
  font-weight: 500;
  text-align: center;
}
.wide-button:hover { background: rgba(196, 122, 58, 0.24); color: var(--accent-text); }

/* Timeline ------------------------------------------------------------ */

.timeline { position: relative; margin: 0; padding: 0; list-style: none; }
.timeline::before { content: ""; position: absolute; top: 1.15rem; bottom: 1.15rem; left: 0.78rem; width: 1px; background: var(--border); }
.timeline li { display: grid; grid-template-columns: 1.6rem 5.5rem 1fr; align-items: baseline; gap: 0 0.85rem; padding: 0.5rem 0; }
.marker {
  position: relative;
  top: 0.2rem;
  display: flex;
  align-items: center;
  justify-content: center;
  width: 1.6rem;
  height: 1.6rem;
  border: 1px solid var(--border);
  border-radius: 999px;
  background: var(--bg-alt);
}
.marker::after { content: ""; width: 6px; height: 6px; border-radius: 999px; background: var(--border-strong); }
.marker-done::after { background: var(--accent); }
.state { font-size: var(--text-label); font-weight: 700; letter-spacing: 0.06em; text-transform: uppercase; color: var(--text-muted); white-space: nowrap; }
.timeline .text { font-size: var(--text-base); color: var(--text-secondary); }
.timeline .text a { font-size: var(--text-sm); font-weight: 500; margin-left: 0.35rem; white-space: nowrap; }

/* Footer -------------------------------------------------------------- */

.footer { margin-top: auto; padding: 3rem 0; background: var(--bg-alt); border-top: 1px solid var(--border); }
.footer .container { display: flex; justify-content: space-between; align-items: center; flex-wrap: wrap; gap: 1rem 2rem; font-size: var(--text-sm); color: var(--text-muted); }
.footer .links { display: flex; gap: 1.5rem; }
.footer .links a { color: var(--text-secondary); }
.footer .links a:hover { color: var(--accent-text); }
.footer .links a.highlight { color: var(--accent-text); font-weight: 600; }
.footer .links a.highlight:hover { color: var(--accent-high); }
.footer .stamp { font-family: var(--font-mono); font-size: var(--text-xs); }

/* Responsive ---------------------------------------------------------- */

/* Narrow screens: the sidebar becomes a sticky header bar whose nav folds
   behind a Menu button, the tab strip scrolls sideways, tables scroll inside
   their card, and the page never scrolls horizontally. */
@media (max-width: 900px) {
  .sidebar {
    position: sticky;
    top: 0;
    width: auto;
    height: auto;
    max-height: 100vh;
    border-right: 0;
    border-bottom: 1px solid var(--border);
  }
  .sidebar-header { padding: 0.75rem 1rem; }
  .menu-toggle {
    display: inline-flex;
    align-items: center;
    gap: 0.375rem;
    height: 2.25rem;
    padding: 0 0.75rem;
    border: 1px solid var(--border);
    border-radius: 0.5rem;
    background: var(--bg-alt);
    color: var(--text-secondary);
    font: inherit;
    font-size: var(--text-sm);
    cursor: pointer;
  }
  .menu-toggle .icon { transition: transform 0.15s; }
  .sidebar.open .menu-toggle .icon { transform: rotate(180deg); }
  .sidebar-nav { display: none; padding: 0.25rem 0.75rem 0.75rem; max-height: 70vh; overflow-y: auto; }
  .sidebar-nav .section { margin-top: 0.75rem; }
  .sidebar-footer { display: none; }
  .sidebar.open .sidebar-nav, .sidebar.open .sidebar-footer { display: flex; }
  .sidebar.open .sidebar-nav { flex-direction: column; }

  .main { margin-left: 0; }
  .container { width: 100%; padding: 0 1rem; }

  .band { margin-bottom: 0.5rem; }
  .hero { padding: 1.75rem 1rem 1.5rem; gap: 0.625rem; }
  .hero img { width: 3.5rem; height: 3.5rem; }
  .hero h1 { font-size: var(--text-4xl); }
  .hero p { font-size: var(--text-base); }
  .section { margin-bottom: 2rem; }
  .section-title { font-size: var(--text-3xl); }

  .tabs { overflow-x: auto; scrollbar-width: none; -webkit-overflow-scrolling: touch; }
  .tabs::-webkit-scrollbar { display: none; }
  .tab { padding: 0.625rem 0.75rem; white-space: nowrap; }
  .filters .hint { flex-basis: 100%; }

  .table { min-width: 45rem; }
  .cards { grid-template-columns: minmax(0, 1fr); }
  .timeline li { grid-template-columns: 1.6rem 1fr; gap: 0.15rem 0.75rem; }
  .timeline .state, .timeline .text { grid-column: 2; }

  .footer { padding: 2rem 0; }
  .footer .container { flex-direction: column; align-items: flex-start; gap: 0.75rem; }
  .footer .stamp { overflow-wrap: anywhere; }
}

@media (max-width: 560px) {
  .hero h1 { font-size: var(--text-3xl); }
  .section-title { font-size: var(--text-2xl); }
  .sidebar-logo { font-size: var(--text-base); }
  .table th, .table td { padding-left: 0.75rem; padding-right: 0.75rem; }
}

/* Inner pages ----------------------------------------------------------- */

/* Everything but the front page: the sidebar, one content column, the footer.
   The column is narrower than the leaderboard's because most of it is prose. */
.page { padding-top: 2.5rem; padding-bottom: 1rem; }
.page > h1 { font-size: var(--text-4xl); margin-bottom: 1rem; }
.page > h1 + .section-lead, .page > .section-lead { max-width: 52rem; font-size: var(--text-lg); line-height: 1.6; }
.kicker {
  margin-bottom: 0.75rem;
  font-size: var(--text-label);
  font-weight: 700;
  letter-spacing: 0.06em;
  text-transform: uppercase;
  color: var(--accent-text);
}
.record-title { font-size: var(--text-2xl); overflow-wrap: anywhere; letter-spacing: 0; }
.callout {
  margin: 0 0 1.5rem;
  padding: 0.75rem 1rem;
  border: 1px solid rgba(196, 122, 58, 0.35);
  border-left: 3px solid var(--accent);
  border-radius: 0.5rem;
  background: var(--accent-row);
  font-size: var(--text-sm);
  color: var(--text-secondary);
  text-wrap: pretty;
}
.source { margin: 1.5rem 0 2.75rem; font-size: var(--text-sm); color: var(--text-muted); }
.source .ext { width: 0.75rem; height: 0.75rem; }

/* Rendered repository markdown. The same scale the leaderboard uses, so a
   document and a table on the same page read as one thing. */
.prose { max-width: 52rem; font-size: var(--text-base); line-height: var(--line-height); color: var(--text); }
.prose > :first-child { margin-top: 0; }
.prose h1 { font-size: var(--text-4xl); margin: 0 0 1.25rem; padding-bottom: 0.75rem; border-bottom: 1px solid var(--border); }
.prose h2 { font-size: var(--text-2xl); margin: 2.5rem 0 0.875rem; padding-bottom: 0.5rem; border-bottom: 1px solid var(--border); }
.prose h3 { font-size: var(--text-xl); margin: 2rem 0 0.75rem; }
.prose h4 { font-size: var(--text-lg); margin: 1.5rem 0 0.5rem; }
.prose h2 a, .prose h3 a, .prose h4 a { color: inherit; }
.prose p { margin: 0 0 1rem; text-wrap: pretty; }
.prose ul, .prose ol { margin: 0 0 1rem; padding-left: 1.5rem; }
.prose li { margin: 0.25rem 0; }
.prose li > p { margin-bottom: 0.5rem; }
.prose blockquote { margin: 0 0 1rem; padding: 0.25rem 0 0.25rem 1rem; border-left: 3px solid var(--border-strong); color: var(--text-secondary); }
.prose hr { border: 0; border-top: 1px solid var(--border); margin: 2rem 0; }
.prose a { text-decoration: underline; text-decoration-color: rgba(230, 163, 102, 0.35); text-underline-offset: 0.15em; }
.prose a:hover { text-decoration-color: currentColor; }
.prose img { max-width: 100%; height: auto; }
.prose pre {
  margin: 0 0 1rem;
  padding: 0.875rem 1rem;
  border: 1px solid var(--border);
  border-radius: 0.5rem;
  background: var(--bg-alt) !important;
  font-family: var(--font-mono);
  font-size: var(--text-code-sm);
  line-height: 1.6;
  overflow-x: auto;
}
.prose pre code { padding: 0; background: none; box-shadow: none; font-size: inherit; }
.prose table { width: 100%; margin: 0 0 1.25rem; border-collapse: collapse; font-size: var(--text-sm); display: block; overflow-x: auto; }
.prose th, .prose td { padding: 0.5rem 0.75rem; border: 1px solid var(--border); text-align: left; vertical-align: top; }
.prose th { background: var(--bg-alt); font-weight: 500; color: var(--text-secondary); white-space: nowrap; }
.prose thead th { border-bottom-color: var(--border-strong); }

.toc { max-width: 52rem; margin: 0 0 2rem; padding: 1rem 1.25rem; border: 1px solid var(--border); border-radius: 0.75rem; background: var(--bg-alt); }
.toc-title { margin-bottom: 0.5rem; font-size: var(--text-label); font-weight: 700; letter-spacing: 0.06em; text-transform: uppercase; color: var(--text-strong); }
.toc ol { margin: 0; padding: 0; list-style: none; columns: 2; column-gap: 2rem; }
.toc li { margin: 0.2rem 0; font-size: var(--text-sm); break-inside: avoid; }
.toc a { color: var(--text-secondary); }
.toc a:hover { color: var(--accent-text); }

/* Key/value tables built from a manifest or a record. */
.table.facts th { width: 11rem; vertical-align: top; text-align: left; background: none; border-bottom: 1px solid var(--border); white-space: nowrap; }
.table.facts td { color: var(--text); overflow-wrap: anywhere; }
.table.facts tbody tr:last-child th, .table.facts tbody tr:last-child td { border-bottom: 0; }
.table.facts tbody tr:hover { background: none; }
.table.facts .prompt { margin: 0; padding: 0.375rem 0.75rem; border-left: 3px solid var(--accent); background: var(--accent-row); border-radius: 0 0.375rem 0.375rem 0; color: var(--text-strong); }
.table.facts .inline-json { margin: 0; font-family: var(--font-mono); font-size: var(--text-code-sm); line-height: 1.5; color: var(--text-secondary); white-space: pre-wrap; }
.table.facts .artifact { display: block; }
.table td.note { min-width: 18rem; max-width: 36rem; color: var(--text-secondary); text-wrap: pretty; }
.table td.args { max-width: 24rem; white-space: pre-wrap; overflow-wrap: anywhere; }
.table a.verdict:hover { color: var(--accent-text); }

@media (max-width: 900px) {
  .page { padding-top: 1.5rem; }
  .page > h1 { font-size: var(--text-3xl); }
  .prose h1 { font-size: var(--text-3xl); }
  .prose h2 { font-size: var(--text-xl); }
  .toc ol { columns: 1; }
  .table.facts th { width: 8rem; white-space: normal; }
}