/* Pinball Passport brand tokens (D-18). Values from PinballPassport/social-agent/media/brand/BRAND_KIT.md.
   Shared by the app (app.css) and document pages (doc.css). The font is self-hosted: the CSP allows 'self' only. */
@font-face {
  font-family: "Josefin Sans";
  src: url("/static/fonts/josefin-sans-latin-700-normal.woff2") format("woff2");
  font-weight: 700; font-style: normal; font-display: swap;
}
:root {
  --pp-red: #ED1C25;            /* brand primary; large text and graphics only */
  --band: #16181f; --band-text: #ffffff; --band-muted: #b3b3b3;
  --bg: #0e0f13; --surface: #16181f; --surface-2: #20232c; --text: #f5f5f5; --muted: #a3a3a3;
  --border: #2e323d; --focus: #38bdf8; --warn: #fbbf24;
  --accent: #ED1C25;            /* SPIN button (large bold text: 3:1 is enough) */
  --accent-ui: #C8141C;         /* small-text buttons and tabs: white on it is 5.88:1, PP Red is 4.38:1 */
  --accent-text: #ffffff;
  --brand-font: "Josefin Sans", Arial, sans-serif;
  --body-font: Arial, Helvetica, "Segoe UI", sans-serif;
  color-scheme: dark light;
}
@media (prefers-color-scheme: light) {
  :root:not([data-theme="dark"]) {
    --bg: #f7f7f7; --surface: #ffffff; --surface-2: #f1f1f1; --text: #1a1a1a; --muted: #6b6b6b;
    --border: #d4d4d4; --focus: #0369a1; --warn: #92400e;
  }
}
:root[data-theme="light"] {
  --bg: #f7f7f7; --surface: #ffffff; --surface-2: #f1f1f1; --text: #1a1a1a; --muted: #6b6b6b;
  --border: #d4d4d4; --focus: #0369a1; --warn: #92400e;
}