/*
 * Self-hosted webfonts (L10 — GDPR: no Google Fonts CDN, so the browser
 * never transmits the visitor's IP to fonts.gstatic.com on page load).
 *
 * Both faces are variable fonts (single woff2 covers the whole weight axis),
 * latin subset only. Regenerate with scripts/fetch_fonts.py if the design
 * needs another family/subset.
 */
@font-face {
  font-family: 'Inter';
  font-style: normal;
  font-weight: 300 900;
  font-display: swap;
  src: url('inter.woff2') format('woff2');
}
@font-face {
  font-family: 'JetBrains Mono';
  font-style: normal;
  font-weight: 400 700;
  font-display: swap;
  src: url('jetbrains-mono.woff2') format('woff2');
}