/* Hub - pastilles des plateformes en vectoriel (agent-logos-0811, v783). Voir js/hub-logos.js. */
.hl-ok { background: none !important; border: 0 !important; padding: 0 !important; font-size: 0 !important; color: transparent !important; border-radius: 28% !important; overflow: visible; position: relative; line-height: 0; }
.hl-ok > svg.hl { display: block; width: 100%; height: 100%; }
.hub-pdot.hl-ok { width: 24px; height: 24px; box-shadow: 0 2px 8px rgba(0,0,0,.35); }
.hub-plat-btn .hub-pdot.hl-ok { box-shadow: 0 2px 8px rgba(0,0,0,.35), 0 0 14px var(--pc-glow, transparent); }
.xp-dot.hl-ok { width: 20px; height: 20px; }
.lp-m > i.hl-ok { box-shadow: 0 8px 22px color-mix(in srgb, var(--mc, #000) 35%, transparent); }
/* menu des plateformes : fond plein anthracite (avant : bleu nuit transparent, le menu de gauche se voyait a travers) */
:root:not([data-theme="clair"]) .hub-plat-menu { background: #141517; backdrop-filter: none; -webkit-backdrop-filter: none; }
/* icones du menu de gauche : traits arrondis et un peu plus fins partout (avant : melange angles vifs / arrondis) */
.sidebar .nav-item > svg { stroke-width: 1.8; stroke-linecap: round; stroke-linejoin: round; }
/* icones du menu redessinees (js/hub-logos.js, table I) : un seul detail dans la couleur d'accent du theme */
svg.hl-ic .a { stroke: rgb(var(--accent-rgb, 255,122,26)); }
svg.hl-ic .af { fill: rgb(var(--accent-rgb, 255,122,26)); stroke: none; }
svg.hl-ic .f { fill: currentColor; stroke: none; }
.nav-item:not(.active):not(:hover) svg.hl-ic .a, .nav-item:not(.active):not(:hover) svg.hl-ic .af { opacity: .85; }
/* les glyphes redessines ont une marge interne de 4 unites (Feather : 2) : on les affiche un peu plus grands pour garder la meme presence */
.nav-item > svg.hl-ic { width: 21px !important; height: 21px !important; flex: none; margin: -1.5px; stroke-width: 1.7; }
.ovm-gi > svg.hl-ic { width: 17px; height: 17px; }
/* icones au trait dans les pages : memes extremites arrondies que le menu (aucun changement de taille ni de couleur) */
.main svg[stroke="currentColor"][fill="none"], #main svg[stroke="currentColor"][fill="none"] { stroke-linecap: round; stroke-linejoin: round; }