/* Polices servies par le serveur, et non par un CDN : sans cela l'application
   ne peut pas fonctionner hors connexion, et chaque visite fait une requête
   vers un tiers.

   Les fichiers .woff2 sont déposés ici par tools/polices.sh au moment de
   l'installation. S'ils manquent, le navigateur passe simplement à la police
   suivante de la pile (--sans / --mono du thème) : rien ne casse. */

@font-face { font-family:'Public Sans'; font-style:normal; font-weight:400 700;
  font-display:swap; src:url('/polices/public-sans.woff2') format('woff2'); }
@font-face { font-family:'IBM Plex Mono'; font-style:normal; font-weight:400;
  font-display:swap; src:url('/polices/ibm-plex-mono-400.woff2') format('woff2'); }
@font-face { font-family:'IBM Plex Mono'; font-style:normal; font-weight:600;
  font-display:swap; src:url('/polices/ibm-plex-mono-600.woff2') format('woff2'); }