/* Space Mono, self-hosted (latin subset, weights 400/700) — replaces the
   fonts.googleapis.com/fonts.gstatic.com round-trip on every page but
   /unveiling, which still uses Fraunces from Google Fonts. */
@font-face{
  font-family:'Space Mono';
  font-style:normal;
  font-weight:400;
  font-display:swap;
  src:url('/assets/fonts/space-mono-400.woff2') format('woff2');
}
@font-face{
  font-family:'Space Mono';
  font-style:normal;
  font-weight:700;
  font-display:swap;
  src:url('/assets/fonts/space-mono-700.woff2') format('woff2');
}