/* Language mode toggle (INDY_LANGUAGES=1, indy/ui_lang.py). Linked
   only when the mode is on. Two small segments beside the help button; the
   one in use is lit. The global `button` rule reaches these by tag, so
   height and padding are said outright. */
.ui-lang-toggle {
  display: inline-flex; align-items: stretch; gap: 0; margin: 0 .35rem 0 .2rem;
  border: 1px solid var(--line-strong); border-radius: 6px; overflow: hidden;
  flex: none;
}
.ui-lang-toggle__opt {
  height: auto; min-height: 0; min-width: 0; margin: 0; padding: .22rem .45rem;
  border: 0; border-radius: 0; background: transparent; box-shadow: none;
  color: var(--ink-faint); font-size: .66rem; letter-spacing: .08em; line-height: 1.2;
  cursor: pointer;
}
.ui-lang-toggle__opt + .ui-lang-toggle__opt { border-left: 1px solid var(--line-strong); }
.ui-lang-toggle__opt:hover { color: var(--ink); background: var(--g4); }
.ui-lang-toggle__opt.is-on { color: var(--display-ink); background: var(--g4); cursor: default; }
@media (pointer: coarse) {
  .ui-lang-toggle__opt { min-height: 44px; padding: 0 .7rem; }
}