/* Self-hosted Google Fonts (latin subset) for the explainer, vendored so the
   page makes no external request under a strict egress policy. Space Grotesk
   and Inter are variable fonts (one file spans the weight range); IBM Plex Mono
   ships as static instances. */

@font-face {
  font-family: 'Space Grotesk';
  font-style: normal;
  font-weight: 300 700;
  font-display: swap;
  src: url(./fonts/space-grotesk.woff2) format('woff2');
}
@font-face {
  font-family: 'Inter';
  font-style: normal;
  font-weight: 100 900;
  font-display: swap;
  src: url(./fonts/inter.woff2) format('woff2');
}
@font-face {
  font-family: 'IBM Plex Mono';
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url(./fonts/ibm-plex-mono-400.woff2) format('woff2');
}
@font-face {
  font-family: 'IBM Plex Mono';
  font-style: normal;
  font-weight: 500;
  font-display: swap;
  src: url(./fonts/ibm-plex-mono-500.woff2) format('woff2');
}