/* Dark theme tokens (DESIGN.md §3). The page links this file with media="(prefers-color-scheme:
   dark)"; theme.js rewrites that media when the visitor picks a theme, so the values live once. */
:root {
  color-scheme: dark;
  --ground: #0e0e0e;
  --surface: #181818;
  --raised: #1f1f1f;
  --well: #121212;
  --active: #2a2a2a;
  --border: #2b2b2b;
  --rule: #232323;
  --control: #4a4a4a;
  --text: #f2f2f0;
  --muted: #b3b3ad;
  --faint: #94948f;
  --primary: #f2f2f0;
  --on-primary: #111111;
  --accent: #5cb8cc;
  --accent-tint: rgba(92, 184, 204, 0.14);
  --on-accent: #0b1f24;
  --positive: #4cc287;
  --negative: #ef6b6f;
  --pill-warning-bg: #2d2412;
  --pill-warning-ink: #f0c56b;
  --draw-line: #e6e6e2;
  --draw-faint: #7a7a75;
  --draw-wall: #2f2f2d;
  --shadow-float: 0 10px 32px rgba(0, 0, 0, 0.6), 0 0 0 1px #333333;
}