/* Design tokens. Every text/background pair is checked >= 4.5:1 (WCAG AA) in both
   themes by tests/test_contrast.py. There is deliberately no "faint" text color:
   at a passing contrast it is indistinguishable from --dim. */

@font-face { font-family: "Plex Mono"; font-weight: 400; font-style: normal; font-display: swap;
  src: url("../fonts/plex-mono-400.woff2") format("woff2"); }
@font-face { font-family: "Plex Mono"; font-weight: 500; font-style: normal; font-display: swap;
  src: url("../fonts/plex-mono-500.woff2") format("woff2"); }
@font-face { font-family: "Plex Mono"; font-weight: 700; font-style: normal; font-display: swap;
  src: url("../fonts/plex-mono-700.woff2") format("woff2"); }

:root {
  --mono: "Plex Mono", ui-monospace, "SF Mono", Menlo, Consolas, monospace;
  --bg: #f3efe4;
  --panel: #ebe6d8;
  --text: #1c1b17;
  --dim: #6b6656;
  --rule: rgba(28, 27, 23, .16);
  --hi: #985800;
  --duck: #f5a800;
  --beak: #d9560b;
  --eye: #1c1b17;
  --sel: rgba(245, 168, 0, .28);
  color-scheme: light dark;
}

@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) {
    --bg: #0f0f0d;
    --panel: #171714;
    --text: #dcd8ca;
    --dim: #8f8a7a;
    --rule: rgba(220, 216, 202, .13);
    --hi: #ffb81f;
    --eye: #0f0f0d;
  }
}

:root[data-theme="dark"] {
  --bg: #0f0f0d;
  --panel: #171714;
  --text: #dcd8ca;
  --dim: #8f8a7a;
  --rule: rgba(220, 216, 202, .13);
  --hi: #ffb81f;
  --eye: #0f0f0d;
}