/*
 * Design tokens — the only place for colours and fonts.
 * Values follow btx.dev (checked 2026-10-23, see docs/research/phase-0a.md section 10),
 * re-implemented from the token values; no CSS or assets are copied from btx.dev.
 */

@font-face {
  font-family: "JetBrains Mono";
  src: url("/static/fonts/JetBrainsMono-Regular.woff2") format("woff2");
  font-weight: 400;
  font-style: normal;
  font-display: swap;
}

@font-face {
  font-family: "JetBrains Mono";
  src: url("/static/fonts/JetBrainsMono-Bold.woff2") format("woff2");
  font-weight: 700;
  font-style: normal;
  font-display: swap;
}

@font-face {
  font-family: "Inter";
  src: url("/static/fonts/InterVariable.woff2") format("woff2");
  font-weight: 100 900;
  font-style: normal;
  font-display: swap;
}

:root {
  --font-mono: "JetBrains Mono", ui-monospace, monospace;
  --font-sans: "Inter", system-ui, sans-serif;

  /* Dark theme (default) */
  --color-bg: #0a0a0a;
  --color-bg-secondary: #111111;
  --color-surface: #141414;
  --color-bg-tertiary: #1a1a1a;
  --color-text: #fafafa;
  --color-text-muted: rgba(250, 250, 250, 0.7);
  --color-border: rgba(250, 250, 250, 0.12);
  --color-link: #60a5fa;
  --color-ok: #81c995;
  --color-ok-strong: #9be7ad;
  --color-warn: #f59e0b;
  --color-crit: #ef4444;
  --color-unknown: rgba(250, 250, 250, 0.55);
}

:root[data-theme="light"] {
  --color-bg: #fafafa;
  --color-bg-secondary: #f0f0f0;
  --color-surface: #ffffff;
  --color-bg-tertiary: #e8e8e8;
  --color-text: #0a0a0a;
  --color-text-muted: rgba(10, 10, 10, 0.55);
  --color-border: rgba(10, 10, 10, 0.1);
  --color-link: #3b82f6;
  --color-ok: #2f9d68;
  --color-ok-strong: #16724a;
  --color-warn: #d97706;
  --color-crit: #dc2626;
  --color-unknown: rgba(10, 10, 10, 0.5);
}

@media (prefers-color-scheme: light) {
  :root:not([data-theme="dark"]) {
    --color-bg: #fafafa;
    --color-bg-secondary: #f0f0f0;
    --color-surface: #ffffff;
    --color-bg-tertiary: #e8e8e8;
    --color-text: #0a0a0a;
    --color-text-muted: rgba(10, 10, 10, 0.55);
    --color-border: rgba(10, 10, 10, 0.1);
    --color-link: #3b82f6;
    --color-ok: #2f9d68;
    --color-ok-strong: #16724a;
    --color-warn: #d97706;
    --color-crit: #dc2626;
    --color-unknown: rgba(10, 10, 10, 0.5);
  }
}