/* Space Mono — the only typeface on the site (headings and body both).
   Google Font, loaded from the CDN in the source codebase (no local
   .ttf/.woff files exist in the repo). The @import below is what actually
   renders full weights/styles/hinting in a live browser.

   CAVEAT: only the Regular (400) static file could be resolved to a
   literal @font-face during this build (see readme.md → Visual
   Foundations → Type substitution note). Bold text still renders via the
   @import in normal use; the explicit rule below exists so this system's
   font is machine-detectable even offline, and browsers will synthesize
   (faux-)bold from it if the @import doesn't load. If you have the real
   Space Mono Bold/Italic/Bold-Italic files, drop them in and add their
   @font-face rules here for pixel-accurate weights. */
@import url('https://fonts.googleapis.com/css2?family=Space+Mono:ital,wght@0,400;0,700;1,400;1,700&display=swap');

@font-face {
  font-family: 'Space Mono';
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url('https://fonts.gstatic.com/s/spacemono/v17/i7dPIFZifjKcF5UAWdDRUEY.ttf') format('truetype');
}