/* Language selection belongs to the common header, also on narrow screens. */
.language-bar { background: #f3f5fa; border-bottom: 1px solid #e6e8ee; }
.language-bar > .shell { display: flex; justify-content: flex-end; }
.language-switch { display: flex; gap: 9px; align-items: center; font-size: .75rem; line-height: 1; min-height: 30px; }
.language-switch a { display: inline-flex; padding: 7px 5px; color: var(--muted); text-decoration: none; }
.language-switch a[aria-current="page"] { color: var(--blue); font-weight: 700; text-decoration: underline; text-underline-offset: 3px; }
.language-switch a:focus-visible { outline: 2px solid var(--blue); outline-offset: 2px; }