/* Polices de la charte (§3.1) — servies par nous, jamais par un tiers (H-07).

   LES DEUX FAMILLES SONT DANS LE DÉPÔT (D-112). Poppins y manquait, et je
   l'avais écrit comme une fatalité : « je ne peux pas redistribuer Poppins ».
   C'était faux. Poppins est sous SIL Open Font License 1.1, exactement comme
   JetBrains Mono, et l'OFL autorise la redistribution — la licence est à côté,
   dans Poppins-OFL.txt. Une vérification de trente secondes aurait évité une
   étape manuelle imposée à chaque installation.

   Et cette étape manuelle n'était pas une gêne, c'était une panne : personne
   ne l'exécutait, donc la plateforme tournait dans la police système. Le
   navigateur ne proteste pas — il ignore une `@font-face` dont la source
   manque et retombe sur sa pile par défaut. C'est ce silence qui a fait durer
   le défaut des mois ; `verifications/polices.py` le détecte désormais.

   Sous-ensemble latin : 217 glyphes, tous les accents français, les
   guillemets, le tiret cadratin, l'euro. 7,8 ko par graisse. */

@font-face {
  font-family: 'Poppins'; font-style: normal; font-weight: 400;
  font-display: swap; src: url('../fonts/Poppins-400.woff2') format('woff2');
}
@font-face {
  font-family: 'Poppins'; font-style: normal; font-weight: 500;
  font-display: swap; src: url('../fonts/Poppins-500.woff2') format('woff2');
}
@font-face {
  font-family: 'Poppins'; font-style: normal; font-weight: 600;
  font-display: swap; src: url('../fonts/Poppins-600.woff2') format('woff2');
}
@font-face {
  font-family: 'Poppins'; font-style: normal; font-weight: 700;
  font-display: swap; src: url('../fonts/Poppins-700.woff2') format('woff2');
}

@font-face {
  font-family: 'JetBrains Mono'; font-style: normal; font-weight: 400;
  font-display: swap; src: url('../fonts/JetBrainsMono-400.woff2') format('woff2');
}
@font-face {
  /* La 500 pointait vers le FICHIER 400 : deux écrans demandent cette graisse
     et recevaient la régulière, sans que rien ne le dise. Une déclaration qui
     ment est pire qu'une déclaration absente — sans elle, le navigateur
     synthétise au moins une graisse intermédiaire. */
  font-family: 'JetBrains Mono'; font-style: normal; font-weight: 500;
  font-display: swap; src: url('../fonts/JetBrainsMono-500.woff2') format('woff2');
}
@font-face {
  font-family: 'JetBrains Mono'; font-style: normal; font-weight: 700;
  font-display: swap; src: url('../fonts/JetBrainsMono-700.woff2') format('woff2');
}