/* Generated by scripts/vocab_brand.py from brand/_brand.yml. Don't edit by hand. */

@font-face { font-family: "Source Sans 3"; src: url("../../brand/fonts/SourceSans3-Regular.ttf"); font-weight: 400; font-style: normal; font-display: swap; }
@font-face { font-family: "Source Sans 3"; src: url("../../brand/fonts/SourceSans3-It.ttf"); font-weight: 400; font-style: italic; font-display: swap; }
@font-face { font-family: "Source Sans 3"; src: url("../../brand/fonts/SourceSans3-Semibold.ttf"); font-weight: 600; font-style: normal; font-display: swap; }
@font-face { font-family: "Source Sans 3"; src: url("../../brand/fonts/SourceSans3-SemiboldIt.ttf"); font-weight: 600; font-style: italic; font-display: swap; }
@font-face { font-family: "Source Sans 3"; src: url("../../brand/fonts/SourceSans3-Bold.ttf"); font-weight: 700; font-style: normal; font-display: swap; }
@font-face { font-family: "Source Sans 3"; src: url("../../brand/fonts/SourceSans3-BoldIt.ttf"); font-weight: 700; font-style: italic; font-display: swap; }
@font-face { font-family: "Poppins"; src: url("../../brand/fonts/Poppins-SemiBold.ttf"); font-weight: 600; font-style: normal; font-display: swap; }
@font-face { font-family: "Poppins"; src: url("../../brand/fonts/Poppins-Bold.ttf"); font-weight: 700; font-style: normal; font-display: swap; }

:root {
  --bg: #ebf7fd; --panel: #ffffff; --text: #1F2933;
  --accent: #003477; --accent-soft: #ebf7fd;
  --stripe: #0087ff; --ref-head: #003477;
  --font-body: "Source Sans 3", "Apple Color Emoji", "Segoe UI Emoji", "Noto Color Emoji", "Noto Sans SC", "PingFang SC", "Microsoft YaHei", system-ui, sans-serif;
  --font-head: "Poppins", "Source Sans 3", "Apple Color Emoji", "Segoe UI Emoji", "Noto Color Emoji", "Noto Sans SC", "PingFang SC", "Microsoft YaHei", system-ui, sans-serif;
}
/* Dark mode: navy text is too dark on a dark background, so links and highlights use the logo blue. */
@media (prefers-color-scheme: dark) {
  :root { --bg: #14171b; --panel: #1d2126; --text: #e8eaed;
          --accent: color-mix(in srgb, #0087ff 70%, white); --accent-soft: #1f3347;
          --ref-head: #ff8c0f; }
}

body, header input[type=search] { font-family: var(--font-body); }
header h1, main h2 { font-family: var(--font-head); color: var(--accent); }
header { border-bottom: 3px solid var(--stripe); }