/* Self-hosted, not Google Fonts CDN -- a CDN dependency for the app's
   core typography is a single point of failure outside our control
   (network policy, firewall, ad-blocker), and it silently degrades to
   plain system fonts with zero visible error when blocked. These are
   variable fonts, so one file per family covers the whole weight range
   the design tokens use. */
@font-face {
  font-family: "Inter";
  font-style: normal;
  font-weight: 400 800;
  font-display: swap;
  src: url("/static/fonts/inter.woff2") format("woff2");
}
@font-face {
  font-family: "Space Grotesk";
  font-style: normal;
  font-weight: 500 700;
  font-display: swap;
  src: url("/static/fonts/space-grotesk.woff2") format("woff2");
}
@font-face {
  font-family: "Red Hat Mono";
  font-style: normal;
  font-weight: 400 700;
  font-display: swap;
  src: url("/static/fonts/red-hat-mono.woff2") format("woff2");
}