/* Generated by gen/brand.py from brand/tokens.json. Edit that, not this. */
@font-face {
  font-family: "Instrument Serif";
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url("fonts/instrument-serif/instrument-serif-latin-400-normal.woff2") format("woff2");
}
@font-face {
  font-family: "Instrument Serif";
  font-style: italic;
  font-weight: 400;
  font-display: swap;
  src: url("fonts/instrument-serif/instrument-serif-latin-400-italic.woff2") format("woff2");
}
@font-face {
  font-family: "Inter";
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url("fonts/inter/inter-latin-400-normal.woff2") format("woff2");
}
@font-face {
  font-family: "Inter";
  font-style: normal;
  font-weight: 500;
  font-display: swap;
  src: url("fonts/inter/inter-latin-500-normal.woff2") format("woff2");
}
@font-face {
  font-family: "Inter";
  font-style: normal;
  font-weight: 600;
  font-display: swap;
  src: url("fonts/inter/inter-latin-600-normal.woff2") format("woff2");
}
@font-face {
  font-family: "JetBrains Mono";
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url("fonts/jetbrains-mono/jetbrains-mono-latin-400-normal.woff2") format("woff2");
}
@font-face {
  font-family: "JetBrains Mono";
  font-style: normal;
  font-weight: 500;
  font-display: swap;
  src: url("fonts/jetbrains-mono/jetbrains-mono-latin-500-normal.woff2") format("woff2");
}
:root {
  --ground: #0B0C0E;
  --surface: #111317;
  --line: #2A2D33;
  --ink: #EDEBE6;
  --muted: #A3A6AD;
  --accent: #C3FF0F;
  --on-accent: var(--ground);
  --caution: #F4D35E;
  --fail: #FF8A6B;
  --font-display: "Instrument Serif", Georgia, 'Times New Roman', serif;
  --font-body: "Inter", system-ui, -apple-system, 'Segoe UI', Roboto, sans-serif;
  --font-mono: "JetBrains Mono", ui-monospace, 'SF Mono', Menlo, Consolas, monospace;
  --radius-card: 16px;
  --radius-control: 999px;
}