/* Self-hosted Inter, replacing fonts.googleapis.com.

   This is the exact variable-font file Google currently serves for the
   "latin" subset at https://fonts.googleapis.com/css2?family=Inter -
   fetched directly from fonts.gstatic.com and installed unmodified, so
   rendering is identical to what the site already used, byte for byte.

   Google now serves Inter as a single variable font (wght axis 100-900)
   rather than five separate static files - the same URL is declared once
   per weight in Google's own CSS. An earlier attempt to self-host used
   discrete per-weight files from a different distribution, which turned
   out to be roughly half the byte size of the real file and produced a
   measurable page-height difference (~1.3% shorter) when compared
   pixel-for-pixel against the live version - almost certainly a vertical-
   metrics difference between that build and the variable font actually in
   use. This file is confirmed via its fvar table to carry named instances
   at exactly 300/400/500/600/700, so one @font-face per weight, all
   pointing at the same file, reproduces Google's own declaration exactly.

   JetBrains Mono is not included. Nothing on the site applies
   var(--font-mono) - eleven.css redefines that variable to a system
   monospace stack and nothing references JetBrains Mono by name - so the
   old Google Fonts request for it was loaded on every page for zero
   visual effect. Confirmed via document.fonts: its FontFace status stayed
   "unloaded" even after a full page load. Self-hosting it would only move
   dead weight from Google's servers to this one. */

@font-face {
  font-family: 'Inter';
  font-style: normal;
  font-weight: 300;
  font-display: swap;
  src: url('/fonts/inter-var.woff2') format('woff2');
}
@font-face {
  font-family: 'Inter';
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url('/fonts/inter-var.woff2') format('woff2');
}
@font-face {
  font-family: 'Inter';
  font-style: normal;
  font-weight: 500;
  font-display: swap;
  src: url('/fonts/inter-var.woff2') format('woff2');
}
@font-face {
  font-family: 'Inter';
  font-style: normal;
  font-weight: 600;
  font-display: swap;
  src: url('/fonts/inter-var.woff2') format('woff2');
}
@font-face {
  font-family: 'Inter';
  font-style: normal;
  font-weight: 700;
  font-display: swap;
  src: url('/fonts/inter-var.woff2') format('woff2');
}