/* The box's fonts (D13): bundled with the box, never fetched from anyone. DESIGN.md tokens.
   Headings use Source Sans 3 until the display face's license allows bundling it (TODOS.md). */
@font-face {
  font-family: "Source Sans 3";
  src: url("fonts/source-sans-3-latin-var.woff2") format("woff2");
  font-weight: 200 900;
  font-display: swap;
}
@font-face {
  font-family: "JetBrains Mono";
  src: url("fonts/jetbrains-mono-latin-var.woff2") format("woff2");
  font-weight: 100 800;
  font-display: swap;
}
:root {
  --display: "Source Sans 3", system-ui, sans-serif;
  --body: "Source Sans 3", system-ui, sans-serif;
  --mono: "JetBrains Mono", ui-monospace, monospace;   /* machine data in the CCO console only */
}