/*
 * Polices hébergées chez nous (aucun appel à Google Fonts : pas de transfert d'adresse IP à un tiers).
 * Pour les pages à l'ancien style et les applis qui ne chargent pas atelier.css (qui a ses propres @font-face).
 * Lisible depuis les sous-domaines (en-têtes CORS dans design/.htaccess).
 */
@font-face { font-family: "Inter"; font-style: normal; font-weight: 400 700; font-display: swap; src: url("polices/inter.woff2") format("woff2"); }
@font-face { font-family: "Space Grotesk"; font-style: normal; font-weight: 500 700; font-display: swap; src: url("polices/space-grotesk.woff2") format("woff2"); }
@font-face { font-family: "JetBrains Mono"; font-style: normal; font-weight: 400 600; font-display: swap; src: url("polices/jetbrains-mono.woff2") format("woff2"); }