/* ==========================================================================
   Typefaces, served from here rather than from Google.
   --------------------------------------------------------------------------
   The terminal used to pull these from fonts.googleapis.com, which meant every
   page blocked on a third-party request before it could paint. Where that host
   is slow, blocked by a privacy extension, or simply unreachable -- a machine on
   a private network, a laptop offline, a corporate proxy -- the result was a
   twelve-second load that then fell back to system fonts anyway, losing the
   tabular numerals the whole interface is built on.

   Self-hosting costs 229KB, cached forever, and removes the dependency
   entirely. `font-display: swap` still applies: text is readable immediately in
   the fallback and reflows once when the real face arrives.

   Latin subsets only. The interface is single-locale by design.
   ========================================================================== */

@font-face {
  /* Variable: the whole weight range and, importantly, the width axis. The
     interface leans on it deliberately -- uppercase micro-labels condense to
     wdth 92, panel titles widen to 105 -- so shipping only static weights would
     silently flatten that back to a single width. One 88KB file covers every
     weight the terminal uses. */
  font-family: "Archivo";
  font-style: normal;
  font-weight: 100 900;
  font-stretch: 62% 125%;
  font-display: swap;
  src: url("../fonts/archivo-variable.de2f1fe81758.woff2") format("woff2-variations");
}

@font-face {
  font-family: "JetBrains Mono";
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url("../fonts/jetbrains-mono-400.b636a65da4f0.woff2") format("woff2");
}

@font-face {
  font-family: "JetBrains Mono";
  font-style: normal;
  font-weight: 500;
  font-display: swap;
  src: url("../fonts/jetbrains-mono-500.b636a65da4f0.woff2") format("woff2");
}

@font-face {
  font-family: "JetBrains Mono";
  font-style: normal;
  font-weight: 600;
  font-display: swap;
  src: url("../fonts/jetbrains-mono-600.b636a65da4f0.woff2") format("woff2");
}