/* Single source for color tokens. Linked from every page before its inline <style>.
   :root is light; theme init sets data-theme="dark" on <html>. See docs/design.md. */
:root {
  --page: #FFFFFF;
  --bg: #F5F8FA;
  --bg2: #E9EEF2;
  --band: #E9EEF2;
  --accent: #DDE4E9;
  --fg: #0F1419;
  --fg-strong: #0F1419;
  --muted: #536471;
  --border: #CFD9DE;
  --border-strong: #717F8B;
  --cyan: #076A66;
  --green: hsl(120 55% 30%);
  --yellow: #8A6100;
  --red: hsl(0 65% 40%);
}
[data-theme="dark"] {
  --page: #0B1117;
  --bg: #15202B;
  --bg2: #1C2733;
  --band: #15202B;
  --accent: #22303C;
  --fg: #C9D1D9;
  --fg-strong: #E1E6EA;
  --muted: #8B98A5;
  --border: #38444D;
  --border-strong: #6A7D8C;
  --cyan: #5EE0D8;
  --green: #5CD37A;
  --yellow: #E8C35A;
  --red: #F2777A;
}
@font-face { font-family: 'iA Writer Quattro'; font-style: normal; font-weight: 400; font-display: swap; src: url('/fonts/iAWriterQuattroS-Regular.woff2') format('woff2'); }
@font-face { font-family: 'iA Writer Quattro'; font-style: italic; font-weight: 400; font-display: swap; src: url('/fonts/iAWriterQuattroS-Italic.woff2') format('woff2'); }
@font-face { font-family: 'iA Writer Quattro'; font-style: normal; font-weight: 700; font-display: swap; src: url('/fonts/iAWriterQuattroS-Bold.woff2') format('woff2'); }
body { font-family: 'JetBrains Mono', monospace; }
:focus-visible { outline: 2px solid var(--cyan); outline-offset: 2px; }