/* Menu de langue, partagé par toutes les pages avec langue.js.
   Discret : en haut à droite, petit, en couleur atténuée ; la langue active
   seule est éclairée. Masqué tant que le script ne l'a pas activé (attribut
   hidden) : sans JavaScript, il ne servirait à rien. */

.langues {
  position: absolute;
  top: 14px;
  right: 16px;
  display: flex;
  gap: 2px;
  font-family: ui-monospace, "SF Mono", SFMono-Regular, Menlo, Consolas,
               "Liberation Mono", "DejaVu Sans Mono", monospace;
  font-size: 0.75rem;
}

.langues[hidden] { display: none; }

.langues button {
  padding: 3px 6px;
  background: none;
  border: 0;
  border-radius: 4px;
  color: #4f5a60;
  font: inherit;
  letter-spacing: 0.06em;
  cursor: pointer;
}

.langues button:hover { color: #9aa5aa; }
.langues button[aria-pressed="true"] { color: #d6dde0; cursor: default; }
.langues button:focus-visible { outline: 2px solid #3ddc84; outline-offset: 1px; }