/* fonts.css — self-hosted pixel font. No CDN, no JS, no runtime dependency.

   Active: BoldPixels (webfontkit-BoldPixels) — has true upper- AND lowercase
   (222 glyphs), unlike PICO-8 which was small-caps only. woff2 ≈4KB.
   The earlier PICO-8 face is kept below (commented) in case we want it back. */
@font-face {
  font-family: "BoldPixels";
  src:
    url("../assets/fonts/boldpixels.woff2") format("woff2"),
    url("../assets/fonts/boldpixels.woff") format("woff"),
    url("../assets/fonts/boldpixels.ttf") format("truetype");
  font-weight: normal;
  font-style: normal;
  font-display: swap;
}

/* PICO-8 (generated from the bitmap atlas by build/build_font.py) — unused now.
@font-face {
  font-family: "PICO-8";
  src:
    url("../assets/fonts/pico-8.woff2") format("woff2"),
    url("../assets/fonts/pico-8.woff") format("woff"),
    url("../assets/fonts/pico-8.ttf") format("truetype");
  font-weight: normal;
  font-style: normal;
  font-display: swap;
}
*/