/* Fichier GÉNÉRÉ depuis brand.json — ne pas modifier à la main. */
:root{
  --mc-primary:#1257C7;
  --mc-primary-dark:#0C3E92;
  --mc-primary-soft:#1257C722;
  --mc-ink:#0A1F44;
  --mc-body:#33415C;
  --mc-muted:#5A6B85;
  --mc-line:#DDE5F0;
  --mc-surface:#F1F5FC;
  --mc-bg:#FAF8F3;
  --mc-accent:#6FA8F5;
  --mc-accent-soft:#DCE9FC;
  --mc-pop:#8FC4FF;
  --mc-warn:#B4440E;
  --mc-warn-bg:#FFF6ED;
  --mc-warn-line:#F5D3B0;
  --mc-success:#0F6E5C;
  --mc-success-bg:#ECFDF7;
  --mc-success-line:#A7E3D4;
  --mc-on-primary:#FFFFFF;
  --mc-on-primary-muted:#DCE9FC;
  --mc-degrade:linear-gradient(135deg,#1257C7 0%,#0A2E6B 100%);
}
@media(prefers-color-scheme:dark){:root{color-scheme:light}}
/* Hauteur du logo, pilotée par brand.json (logoHauteur). Un logo EMPILÉ (marque
   au-dessus du nom) a besoin de plus de hauteur qu'un lockup large : à 44px, le
   nom tombe sous 8 px et devient illisible. Sans logoHauteur, on garde 44px.
   Ce fichier est chargé APRÈS frontend.css : ces règles gagnent. */

/* Navigation centrée dans la barre (brand.json -> navCentre). Un logo étroit laisse
   sinon un grand vide au milieu et tasse les liens contre le bord droit. */