/* ═══════════════════════════════════════════════════════════════════════════
   PLUS JAKARTA SANS — auto-hébergée. Police variable, poids 300 à 800.

   ⚠️ LE DÉFAUT QUE CE FICHIER CORRIGE, ET IL SE VOYAIT SUR CHAQUE ÉCRAN.
   `jetons.css` déclarait `--font: 'Plus Jakarta Sans', system-ui, …` depuis le
   premier jour, et **aucun fichier de police n'était servi** : le navigateur
   retombait donc silencieusement sur la police système. Toute l'application
   s'affichait dans une autre typographie que la maquette — visible d'un coup
   d'œil, invisible à tous les tests, et invisible au harnais, qui mesure des
   couleurs et des espacements mais pas quelle fonte le navigateur a résolue.

   ⚠️ ET ELLE NE VIENT PAS DE GOOGLE. La maquette la charge depuis
   `fonts.googleapis.com` ; c'est interdit par la souveraineté numérique — le
   navigateur de chaque utilisateur interrogerait Google à chaque visite. Les
   deux `.woff2` sont donc servis par nous. Le rendu est le MÊME : la maquette
   demande `wght@300;400;500;600;700;800`, et ce fichier variable couvre
   300-800 en continu.
   *Il n'y a donc aucun arbitrage à rouvrir ici : la fidélité au pixel et la
   souveraineté disent la même chose, à condition d'héberger la police.*

   Provenance : `/opt/cockpit/static/fonts/`, empreintes vérifiées identiques.
   Deux sous-ensembles, et `unicode-range` fait le tri — le navigateur ne
   télécharge `latin-ext` que s'il rencontre un caractère qui s'y trouve.
   ═══════════════════════════════════════════════════════════════════════════ */

/* latin — la base, qui couvre le français standard */
@font-face {
  font-family: 'Plus Jakarta Sans';
  font-style: normal;
  font-weight: 300 800;
  font-display: swap;
  src: url(../fonts/PlusJakartaSans-latin.woff2) format('woff2');
  unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD;
}

/* latin-ext — accents étendus, autres langues européennes */
@font-face {
  font-family: 'Plus Jakarta Sans';
  font-style: normal;
  font-weight: 300 800;
  font-display: swap;
  src: url(../fonts/PlusJakartaSans-latin-ext.woff2) format('woff2');
  unicode-range: U+0100-02BA, U+02BD-02C5, U+02C7-02CC, U+02CE-02D7, U+02DD-02FF, U+0304, U+0308, U+0329, U+1D00-1DBF, U+1E00-1E9F, U+1EF2-1EFF, U+2020, U+20A0-20AB, U+20AD-20C0, U+2113, U+2C60-2C7F, U+A720-A7FF;
}