/* IBM Plex Sans/Mono, sous-ensemble latin uniquement (couvre le francais
   et l'anglais -- voir U+0000-00FF dans les metadonnees Google Fonts
   d'origine), heberge localement plutot que charge depuis
   fonts.googleapis.com. Necessaire : la Content-Security-Policy du site
   (voir app.py, _ajouter_en_tetes_securite) n'autorise que 'self' pour
   style-src/font-src -- charger Google Fonts violait donc sa propre
   politique (bloque par le navigateur, erreur visible en console),
   contrairement a l'intention affichee ("aucune ressource externe").
   Heberger localement evite aussi d'exposer l'IP des visiteurs a Google a
   chaque chargement de page. */
@font-face {
  font-family: 'IBM Plex Mono';
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url('ibm-plex-mono-400.woff2') format('woff2');
}
@font-face {
  font-family: 'IBM Plex Mono';
  font-style: normal;
  font-weight: 500;
  font-display: swap;
  src: url('ibm-plex-mono-500.woff2') format('woff2');
}
@font-face {
  font-family: 'IBM Plex Mono';
  font-style: normal;
  font-weight: 600;
  font-display: swap;
  src: url('ibm-plex-mono-600.woff2') format('woff2');
}
@font-face {
  font-family: 'IBM Plex Sans';
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url('ibm-plex-sans-var.woff2') format('woff2');
}
@font-face {
  font-family: 'IBM Plex Sans';
  font-style: normal;
  font-weight: 500;
  font-display: swap;
  src: url('ibm-plex-sans-var.woff2') format('woff2');
}
@font-face {
  font-family: 'IBM Plex Sans';
  font-style: normal;
  font-weight: 600;
  font-display: swap;
  src: url('ibm-plex-sans-var.woff2') format('woff2');
}
@font-face {
  font-family: 'IBM Plex Sans';
  font-style: normal;
  font-weight: 700;
  font-display: swap;
  src: url('ibm-plex-sans-var.woff2') format('woff2');
}