/* Language switcher pill — sits in the topbar, mirrors the demo SPA idiom. */
#lang-switch {
  display: inline-flex;
  border: 1px solid var(--osdu-hairline, #1F2937);
  font-family: ui-monospace, SFMono-Regular, Menlo, monospace;
  font-size: 11px;
  letter-spacing: 0.08em;
  margin-left: 12px;
}
#lang-switch button {
  background: transparent;
  color: var(--ink-300, #6B7A8F);
  border: 0;
  border-left: 1px solid var(--osdu-hairline, #1F2937);
  padding: 4px 10px;
  cursor: pointer;
  font-family: inherit;
  font-size: inherit;
  letter-spacing: inherit;
  text-transform: uppercase;
}
#lang-switch button:first-child { border-left: 0; }
#lang-switch button.is-active {
  background: var(--osdu-accent, #2DD4BF);
  color: #0E1620;
}
#lang-switch button:hover:not(.is-active) {
  color: var(--text-primary, #D7DEE8);
}