h1 { font-size: 24px; margin: 0 0 4px; }
  h2 { font-size: 18px; margin: 32px 0 8px; }
  .muted { color: var(--muted); }
  .cards { display: grid; grid-template-columns: repeat(auto-fit, minmax(150px, 1fr)); gap: 12px; margin: 20px 0; }
  .card { background: var(--panel); border: 1px solid var(--line); border-radius: 8px; padding: 12px 14px; }
  .card b { display: block; font-size: 26px; }
  .card.error b { color: var(--red); } .card.warning b { color: var(--orange); } .card.fixed b { color: var(--green); }
  .scroll { overflow-x: auto; }
  table { border-collapse: collapse; width: 100%; font-size: 14px; }
  th, td { text-align: left; padding: 6px 8px; border-bottom: 1px solid var(--line); vertical-align: top; }
  th { background: var(--panel); font-weight: 600; }
  td.num, th.num { text-align: right; font-variant-numeric: tabular-nums; }
  .over { color: var(--red); font-weight: 600; }
  code { font-size: 12px; color: var(--muted); }
  td.plot { white-space: nowrap; }
  .routine { margin: 0 0 12px; color: var(--muted); }
  .routine code { margin-right: 2px; }

/* Site theme (tokens from /styles.css, light and dark) */
:root { --bg: var(--paper); --panel: var(--sunken); --red: var(--bad); --orange: var(--warn); --green: var(--ok); }
.report-page main { padding-top: clamp(32px, 5vw, 56px); padding-bottom: clamp(48px, 7vw, 88px); }
.report-page h1 { font-size: clamp(2rem, 1.4rem + 2vw, 2.8rem); font-weight: 800; font-stretch: 78%; margin: 0 0 8px; }
.report-page h2 { font-size: 1.3rem; font-weight: 750; margin: 40px 0 12px; }
.report-page .card { background: var(--surface); }
.report-page .card b { font-family: var(--font-display); font-stretch: 80%; font-size: 1.9rem; line-height: 1.1; }
.report-page table { font-size: 0.88rem; background: var(--surface); }
.report-page th { background: var(--sunken); }
.report-page code { font-family: var(--font-mono); color: var(--muted); }

.sample-banner {
  border: 1px solid var(--line);
  border-left: 3px solid var(--warn);
  background: var(--warn-bg);
  color: var(--ink);
  border-radius: 8px;
  padding: 10px 14px;
  margin: 0 0 24px;
  font-weight: 600;
}
.sample-banner a { color: var(--ink); font-weight: 400; margin-left: 8px; }