/* The brand typeface, self-hosted.
   docs/platform/BRAND.md names IBM Plex; nothing loaded it, so every surface was
   rendering in a system fallback while claiming to be on brand. Self-hosted rather than
   fetched from Google because the apps run under `default-src 'self'`: a third-party font
   would need the policy loosened, would add a request to another party on every visit,
   and would fail silently when blocked - which is exactly how this went unnoticed.
   Sans is a variable font: one file covers 400-700. Licence notice in fonts/README.md. */

@font-face {
  font-family: "IBM Plex Sans";
  src: url("/static/fonts/ibm-plex-sans.woff2") format("woff2");
  font-weight: 100 700;          /* variable axis */
  font-style: normal;
  font-display: swap;            /* text is readable immediately; the face swaps in */
}

@font-face {
  font-family: "IBM Plex Mono";
  src: url("/static/fonts/ibm-plex-mono-500.woff2") format("woff2");
  font-weight: 500; font-style: normal; font-display: swap;
}

@font-face {
  font-family: "IBM Plex Mono";
  src: url("/static/fonts/ibm-plex-mono-600.woff2") format("woff2");
  font-weight: 600; font-style: normal; font-display: swap;
}