/*
 * Polices de la page publique, hébergées avec le site.
 *
 * Pourquoi : chargées depuis Google Fonts, elles faisaient envoyer l'adresse IP
 * de chaque visiteur à Google, sans information ni consentement. Servies d'ici,
 * le visiteur ne contacte plus aucun tiers pour afficher le texte.
 *
 * Fichiers téléchargés le 2026-09-16 depuis Google Fonts, jeu de caractères
 * « latin » (couvre le français : accents, œ, €, guillemets). Un caractère
 * absent s'affiche simplement dans la police de secours du navigateur.
 * Les trois polices sont sous licence libre SIL Open Font License 1.1, qui
 * autorise leur hébergement et leur diffusion.
 *
 * Le navigateur ne télécharge une police que si la page l'utilise réellement :
 * les pages légales, qui n'emploient pas Instrument Serif, ne la chargent pas.
 */

/* Space Grotesk est une police « variable » : un seul fichier couvre toutes
   les graisses de 400 à 700. */
@font-face {
  font-family: "Space Grotesk";
  font-style: normal;
  font-weight: 400 700;
  font-display: swap;
  src: url("space-grotesk-latin.woff2") format("woff2");
}

/* JetBrains Mono : même principe, graisses 400 et 500 utilisées sur le site. */
@font-face {
  font-family: "JetBrains Mono";
  font-style: normal;
  font-weight: 400 500;
  font-display: swap;
  src: url("jetbrains-mono-latin.woff2") format("woff2");
}

/* Instrument Serif : une seule graisse, en droit et en italique (deux fichiers). */
@font-face {
  font-family: "Instrument Serif";
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url("instrument-serif-latin.woff2") format("woff2");
}

@font-face {
  font-family: "Instrument Serif";
  font-style: italic;
  font-weight: 400;
  font-display: swap;
  src: url("instrument-serif-italic-latin.woff2") format("woff2");
}