/* ===========================================================================
   Badge de version dans le header — style PARTAGÉ /app + /admin.

   UNE seule définition de l'apparence pour les deux surfaces. Le badge est
   volontairement DISCRET : couleur secondaire (`--muted`), taille en dessous du
   corps de texte, contour d'un cheveu. Il ne doit pas concurrencer le titre du
   header, juste être là quand on le cherche.

   Il s'habille des tokens de sa surface (`--muted`, `--border`) : le même
   fichier suit donc automatiquement le thème clair comme le thème sombre des
   deux consoles, sans une seule règle dupliquée par thème.

   Chasse fixe (`--mono`) : un SHA se compare caractère par caractère, une
   police proportionnelle rend cet exercice pénible.
   =========================================================================== */

.ver-badge {
  /* Masqué tant que /version n'a pas répondu (le module pose `hidden`). */
  display: inline-block;
  font-family: var(--mono, ui-monospace, SFMono-Regular, Menlo, Consolas, monospace);
  font-size: 11px;
  line-height: 1;
  letter-spacing: 0;
  color: var(--muted);
  background: transparent;
  border: 1px solid var(--border);
  border-radius: 20px;
  padding: 4px 8px;
  cursor: pointer;
  white-space: nowrap;
  /* Le détail au clic est plus long que le SHA : il se tronque plutôt que de
     pousser les contrôles du header hors écran. */
  max-width: 30vw;
  overflow: hidden;
  text-overflow: ellipsis;
  transition: color .15s ease, border-color .15s ease;
}
.ver-badge[hidden] { display: none; }
.ver-badge:hover { color: var(--txt); border-color: var(--muted); }

/* Écrans étroits : le header est déjà serré (le libellé de marque disparaît
   côté Crystal), le badge garde sa place mais s'efface encore un peu. */
@media (max-width: 560px) {
  .ver-badge { font-size: 10px; padding: 3px 6px; max-width: 22vw; }
}