/* Identité Oversite : police et fond de l'interface.
   Plus Jakarta Sans est servie par le serveur (dossier fonts), comme le reste : aucune connexion Internet nécessaire.
   Les documents (doc.css) gardent leurs propres polices. */
:root, .ged {
  --display: "Plus Jakarta Sans", "Public Sans", "Segoe UI", system-ui, -apple-system, Roboto, Arial, sans-serif;
  --body: "Plus Jakarta Sans", "Public Sans", "Segoe UI", system-ui, -apple-system, Roboto, Arial, sans-serif;
}
:root { --ground: #F4F3EF; }
.ged { --bg: #F4F3EF; }