/* Les jetons que la documentation lit, et qu'elle ne trouve nulle part ailleurs.
 *
 * ÉCRIT par `site/vitrine/jetons-api.py` depuis `nexus.css` puis
 * `vitrine.css`, dans cet ordre : on prend les
 * VALEURS, jamais les règles. `nexus.css` porte aussi des sélecteurs d'élément
 * (`nav`, `nav a`) qui visent l'ancienne barre du site ; chargée en entier,
 * elle faisait déborder le méga-menu de la barre actuelle.
 *
 * Portés par le socle (`pages.css`), donc absents d'ici : --accent, --accent-text, --bg-base, --bg-overlay, --bg-raised, --border, --ease, --fond, --font-mono, --font-sans, --text-primary, --text-secondary, --text-tertiary.
 *
 * Ne pas retoucher : on retouche `nexus.css`, puis on rejoue.
 */
body.doc-app {
  --accent-border: #2b4c7e;
  --accent-muted: #203149;
  --accent-ring: rgba(78,129,238,.45);
  --bg-hover: #232320;
  --bg-input: #1f1f1c;
  --bg-terminal: #141413;
  --border-strong: #3d3b37;
  --danger-border: #5c2e30;
  --danger-muted: #331e20;
  --danger-text: #f0908f;
  --data-text: #8ac4bd;
  --dur: 0ms;
  --radius: 8px;
  --radius-full: 999px;
  --radius-lg: 12px;
  --radius-sm: 6px;
  --shadow-lg: 0 12px 32px rgba(0,0,0,.5);
  --success-border: #34492f;
  --success-muted: #1e2a1f;
  --success-text: #9bcb9e;
  --text-disabled: #55524c;
  --warning-border: #5a4322;
  --warning-muted: #33261a;
  --warning-text: #edbe77;
}