/* Tokens and rules mirror bim-guard/DESIGN.md and frontend/src/app.css: one
   slate ramp inverted per theme, a single #0071e3 accent, Inter + JetBrains Mono,
   negative tracking (-.015em body, -.025em headings), weights 400/600/700 only,
   hairline borders instead of shadows, rounded-md badges / rounded-xl cards.
   Dark is the product default; light applies when the visitor's OS asks for it. */
:root {
  color-scheme: dark;
  --bg: #020617; --surface-1: #090d16; --card: #0f172a; --overlay: #1e293b;
  --fg: #f8fafc; --fg-2: #cbd5e1; --muted: #94a3b8;
  --line: #1e293b; --line-2: #334155;
  --accent: #0071e3; --accent-hover: #0077ed; --accent-text: #2997ff;
  --ok: #6ee7b7; --ok-bg: #022c22; --ok-line: #065f46;
  --bad: #fda4af; --bad-bg: #4c0519; --bad-line: #9f1239;
  --warn: #fcd34d; --warn-bg: #451a03; --warn-line: #92400e;
  --font-sans: Inter, system-ui, -apple-system, "Segoe UI", Roboto, sans-serif;
  --font-mono: "JetBrains Mono", ui-monospace, SFMono-Regular, Menlo, monospace;
}
@media (prefers-color-scheme: light) {
  :root {
    color-scheme: light;
    --bg: #f8fafc; --surface-1: #f1f5f9; --card: #ffffff; --overlay: #f1f5f9;
    --fg: #0f172a; --fg-2: #334155; --muted: #64748b;
    --line: #e2e8f0; --line-2: #cbd5e1;
    --accent: #0066cc; --accent-hover: #0071e3; --accent-text: #0066cc;
    --ok: #047857; --ok-bg: #d1fae5; --ok-line: #6ee7b7;
    --bad: #be123c; --bad-bg: #ffe4e6; --bad-line: #fecdd3;
    --warn: #b45309; --warn-bg: #fef3c7; --warn-line: #fde68a;
  }
}
* { box-sizing: border-box; }
html { -webkit-text-size-adjust: 100%; }
body {
  margin: 0; background: var(--bg); color: var(--fg-2);
  font: 16px/1.65 var(--font-sans); letter-spacing: -.015em;
  -webkit-font-smoothing: antialiased;
}
a { color: var(--accent-text); text-underline-offset: 2px; }
a:hover { color: var(--accent-hover); }
:focus-visible { outline: 2px solid var(--accent); outline-offset: 2px; }
.top {
  position: sticky; top: 0; z-index: 10;
  background: color-mix(in srgb, var(--surface-1) 85%, transparent);
  backdrop-filter: saturate(180%) blur(20px); -webkit-backdrop-filter: saturate(180%) blur(20px); /* .apple-blur */
  border-bottom: 1px solid var(--line);
}
.top-inner {
  display: flex; flex-wrap: wrap; gap: 6px 28px; align-items: center;
  max-width: 960px; margin: 0 auto; padding: 12px 16px;
}
.brand { font-weight: 600; color: var(--fg); text-decoration: none; letter-spacing: -.025em; }
.brand span { font-weight: 400; color: var(--muted); }
nav { display: flex; flex-wrap: wrap; gap: 2px 4px; font-size: 14px; font-weight: 400; }
nav a { color: var(--fg-2); text-decoration: none; padding: 5px 10px; border-radius: 8px; transition: background-color .2s, color .2s; }  /* rounded-lg */
nav a:hover { color: var(--fg); background: var(--overlay); }
nav a[aria-current] { color: var(--accent-text); font-weight: 600; background: color-mix(in srgb, var(--accent) 12%, transparent); }  /* surface-selected */
main, footer { max-width: 960px; margin: 0 auto; padding: 8px 16px 32px; }
footer { color: var(--muted); font-size: 14px; border-top: 1px solid var(--line); margin-top: 24px; padding-top: 16px; }
h1, h2, h3 { color: var(--fg); letter-spacing: -.025em; line-height: 1.2; }
h1 { font-size: clamp(1.9rem, 4vw, 2.5rem); font-weight: 600; margin: 1.1em 0 .4em; }
h2 { font-size: 1.45rem; font-weight: 600; margin: 2em 0 .5em; padding-top: .5em; border-top: 1px solid var(--line); }
h3 { font-size: 1.1rem; font-weight: 600; margin: 1.6em 0 .4em; }
strong { color: var(--fg); font-weight: 600; }
code {
  font-family: var(--font-mono); letter-spacing: 0; background: var(--overlay); color: var(--fg);
  padding: 1px 6px; border-radius: 6px; font-size: .85em; word-break: break-word; /* rounded-md */
}
pre { background: var(--surface-1); border: 1px solid var(--line); padding: 14px 16px; border-radius: 12px; overflow-x: auto; }
pre code { background: none; padding: 0; word-break: normal; }
blockquote { margin: 1em 0; padding: 2px 16px; border-left: 3px solid var(--line-2); color: var(--muted); }
table { box-shadow: 0 1px 2px rgb(0 0 0 / .05); border-collapse: separate; border-spacing: 0; width: 100%; font-size: 14.5px; margin: 1em 0; border: 1px solid var(--line-2); border-radius: 12px; overflow: hidden; background: var(--card); }  /* table rules: border-default */
caption { caption-side: top; text-align: left; font-weight: 600; padding: 0 0 8px; color: var(--fg); }
th, td { border-bottom: 1px solid var(--line); padding: 8px 12px; text-align: left; vertical-align: top; }
tr:last-child td { border-bottom: 0; }
th { background: var(--overlay); color: var(--fg); font-weight: 600; }
main > table, .table-wrap { display: block; overflow-x: auto; }
.table-wrap table { margin-bottom: .4em; }
.src, .src-note { color: var(--muted); font-size: 13.5px; }
figure { margin: 1.2em 0; }
figure img { max-width: 100%; height: auto; background: #fff; border: 1px solid var(--line-2); border-radius: 12px; }
figcaption { color: var(--muted); font-size: 14px; margin-top: 6px; }
.badge { font-family: var(--font-sans); font-weight: 600; font-size: .7em; line-height: 1.5; text-transform: uppercase; letter-spacing: .025em;  /* tracking-wide, text-micro */ white-space: nowrap; border: 1px solid transparent; padding: 2px 8px; vertical-align: middle; }
.badge.reproduced { background: var(--ok-bg); color: var(--ok); border-color: var(--ok-line); }
.badge.archived-artifact, .badge.single-run { background: var(--warn-bg); color: var(--warn); border-color: var(--warn-line); }
.badge.not-verified, .badge.simulated { background: var(--bad-bg); color: var(--bad); border-color: var(--bad-line); }
.badge.retired-domain { background: var(--card); color: var(--muted); border-color: var(--line-2); }  /* Badge 'pending' style */
.callout { border: 1px solid var(--line-2); border-left-width: 4px; border-radius: 12px; background: var(--card); padding: 8px 18px; margin: 1.2em 0; }
.callout.warn { border-color: var(--bad-line); background: var(--bad-bg); color: var(--bad); }  /* Alert type=error */
.callout.warn strong { color: var(--bad); }
.callout.ok { border-color: var(--ok-line); background: var(--ok-bg); color: var(--ok); }
.callout p { margin: .5em 0; }
details { border: 1px solid var(--line-2); border-radius: 12px; padding: 4px 16px; margin: 1em 0; background: var(--card); }
summary { cursor: pointer; font-weight: 600; color: var(--fg); padding: 8px 0; }
.grid { display: grid; gap: 14px; grid-template-columns: repeat(auto-fit, minmax(210px, 1fr)); margin: 1.2em 0; }
.card { border: 1px solid var(--line-2); border-radius: 12px; background: var(--card); padding: 14px 18px; }
.card .big { font-size: 1.8rem; font-weight: 700; line-height: 1.2; color: var(--fg); letter-spacing: -.025em; } /* 700 reserved for stat values */
.card .lbl { color: var(--muted); font-size: 14px; }

@media (prefers-reduced-motion: reduce) { * { animation: none !important; transition: none !important; scroll-behavior: auto !important; } }