/* Couleurs thematisables du site : chaque teinte existe en couleur pleine (--x) et en
   composantes (--x-rgb) pour rgba(var(--x-rgb), alpha). Un theme redefinit ces
   variables ; les neutres (fonds, blanc, noir) et les couleurs d'etat restent dans
   les feuilles de style. */
:root {
    --accent: #4fc3f7;
    --accent-rgb: 79, 195, 247;
    --accent-pale: #d6eaff;
    --accent-pale-rgb: 214, 234, 255;
    --btn: #1565c0;
    --btn-rgb: 21, 101, 192;
    --btn-dark: #0d47a1;
    --btn-dark-rgb: 13, 71, 161;
    --link: #58a6ff;
    --link-rgb: 88, 166, 255;
    --text: #dde3f0;
    --text-rgb: 221, 227, 240;
    --text-soft: #c8d4eb;
    --text-soft-rgb: 200, 212, 235;
    /* globe 3D (js/globe.js) : trace, halo de l'atmosphere, hops, cables */
    --globe-route: #3ce0ff;
    --globe-rim: #2f9bff;
    --globe-hop: #ff9e2c;
    --globe-cable: #2f7fd0;
    --globe-ocean: #0c1a2e;
    --globe-land: #21324c;
    --globe-coast-rgb: 74, 144, 240;   /* cotes (alpha 0.30) et frontieres (0.16) */
    --blue-0d1f3c: #0d1f3c;
    --blue-0d1f3c-rgb: 13, 31, 60;
    --blue-102040: #102040;
    --blue-102040-rgb: 16, 32, 64;
    --blue-12222e: #12222e;
    --blue-12222e-rgb: 18, 34, 46;
    --blue-1976d2: #1976d2;
    --blue-1976d2-rgb: 25, 118, 210;
    --blue-21324c: #21324c;
    --blue-21324c-rgb: 33, 50, 76;
    --blue-2196f3: #2196f3;
    --blue-2196f3-rgb: 33, 150, 243;
    --blue-5ba3e8: #5ba3e8;
    --blue-5ba3e8-rgb: 91, 163, 232;
    --blue-9ecfea: #9ecfea;
    --blue-9ecfea-rgb: 158, 207, 234;
    --blue-a0dcff: #a0dcff;
    --blue-a0dcff-rgb: 160, 220, 255;
    --blue-a8d4f8: #a8d4f8;
    --blue-a8d4f8-rgb: 168, 212, 248;
    --blue-aab6cd: #aab6cd;
    --blue-aab6cd-rgb: 170, 182, 205;
    --blue-b4c4dc: #b4c4dc;
    --blue-b4c4dc-rgb: 180, 196, 220;
    --blue-b8cce4: #b8cce4;
    --blue-b8cce4-rgb: 184, 204, 228;
    --blue-c9d1e0: #c9d1e0;
    --blue-c9d1e0-rgb: 201, 209, 224;
    --blue-cfe3ff: #cfe3ff;
    --blue-cfe3ff-rgb: 207, 227, 255;
    --blue-d2def0: #d2def0;
    --blue-d2def0-rgb: 210, 222, 240;
    --blue-dce6f5: #dce6f5;
    --blue-dce6f5-rgb: 220, 230, 245;
    --blue-e6edf3: #e6edf3;
    --blue-e6edf3-rgb: 230, 237, 243;
}