/*
 * L'habillage de la plateforme (chantier 0.70, lot 3) — injecté par nginx dans
 * chaque page, il ne redéfinit que des variables des thèmes de JupyterLab
 * (`--jp-*`) : aucune structure, aucun composant. Les jetons sont ceux du socle
 * (app/globals.css). Les thèmes posent leurs variables sur `:root`, dans une
 * feuille chargée après celle-ci : le sélecteur ci-dessous est plus précis,
 * et l'emporte quel que soit l'ordre.
 *
 * Le suivi du clair ou du sombre se règle par configuration (overrides.json).
 * Les polices, non : le réglage `overrides` des thèmes ne se lit que dans les
 * réglages de l'utilisateur, jamais dans ceux du site (ThemeManager, 4.6.4).
 */
@import url(polices.css);

:root:has(body[data-jp-theme-light]) {
  --jp-ui-font-family: 'Fira Sans', system-ui, sans-serif;
  --jp-content-font-family: 'Fira Sans', system-ui, sans-serif;
  --jp-code-font-family: 'Fira Code', ui-monospace, monospace;
  --jp-code-font-family-default: 'Fira Code', ui-monospace, monospace;
}

:root:has(body[data-jp-theme-light='true']) {
  --jp-brand-color0: #1e40af;
  --jp-brand-color1: #3b82f6;
  --jp-brand-color2: #93c5fd;
  --jp-brand-color3: #dbeafe;
  --jp-brand-color4: #eff6ff;

  --jp-layout-color0: #ffffff;
  --jp-layout-color1: #ffffff;
  --jp-layout-color2: #f1f5f9;
  --jp-layout-color3: #e2e8f0;
  --jp-layout-color4: #64748b;

  --jp-border-color0: #cbd5e1;
  --jp-border-color1: #cbd5e1;
  --jp-border-color2: #e2e8f0;
  --jp-border-color3: #f1f5f9;

  --jp-ui-font-color0: #0f172a;
  --jp-ui-font-color1: #0f172a;
  --jp-ui-font-color2: #64748b;
  --jp-ui-font-color3: #94a3b8;
  --jp-content-font-color0: #0f172a;
  --jp-content-font-color1: #0f172a;
  --jp-content-font-color2: #64748b;
  --jp-content-font-color3: #94a3b8;
  --jp-content-link-color: #2563eb;
  --jp-content-link-visited-color: #1e40af;

  --jp-cell-editor-background: #f8fafc;
  --jp-input-background: #f8fafc;
  --jp-rendermime-table-row-background: #f1f5f9;
  --jp-rendermime-table-row-hover-background: #dbeafe;
}

:root:has(body[data-jp-theme-light='false']) {
  --jp-brand-color0: #93c5fd;
  --jp-brand-color1: #3b82f6;
  --jp-brand-color2: #1e40af;
  --jp-brand-color3: #1e3a8a;
  --jp-brand-color4: #172554;

  --jp-layout-color0: #0a0a0a;
  --jp-layout-color1: #0a0a0a;
  --jp-layout-color2: #1c1c1c;
  --jp-layout-color3: #262626;
  --jp-layout-color4: #525252;

  --jp-border-color0: #3a3a3a;
  --jp-border-color1: #3a3a3a;
  --jp-border-color2: #2a2a2a;
  --jp-border-color3: #1f1f1f;

  --jp-ui-font-color0: #fafafa;
  --jp-ui-font-color1: #fafafa;
  --jp-ui-font-color2: #a3a3a3;
  --jp-ui-font-color3: #737373;
  --jp-content-font-color0: #fafafa;
  --jp-content-font-color1: #fafafa;
  --jp-content-font-color2: #a3a3a3;
  --jp-content-font-color3: #737373;
  --jp-content-link-color: #93c5fd;
  --jp-content-link-visited-color: #bfdbfe;

  --jp-cell-editor-background: #171717;
  --jp-input-background: #171717;
  --jp-rendermime-table-row-background: #171717;
  --jp-rendermime-table-row-hover-background: #1e3a8a;
}