/* Vendored rather than loaded from Google: the edge CSP is font-src 'self'
   (infra/Caddyfile), and a webfont that 404s would drop the whole look. */
@font-face{font-family:'Plex Mono';font-style:normal;font-weight:400;font-display:swap;
  src:url(fonts/IBMPlexMono-Regular.woff2) format('woff2')}
@font-face{font-family:'Plex Mono';font-style:normal;font-weight:600;font-display:swap;
  src:url(fonts/IBMPlexMono-SemiBold.woff2) format('woff2')}
@font-face{font-family:'Plex Mono';font-style:normal;font-weight:700;font-display:swap;
  src:url(fonts/IBMPlexMono-Bold.woff2) format('woff2')}