/* Language switcher — fixed, works with vertical side nav */
.lang-switch {
  position: fixed;
  top: 18px;
  right: 24px;
  z-index: 110;
  display: flex;
  align-items: center;
  gap: 0.1rem;
  padding: 0.25rem;
  background: oklch(10% 0.003 260 / 0.85);
  backdrop-filter: blur(12px) saturate(1.3);
  border: 1px solid var(--border);
  border-radius: 8px;
}
.lang-switch button {
  appearance: none;
  border: 1px solid transparent;
  background: transparent;
  color: var(--faint);
  font-family: var(--font-mono);
  font-size: 0.65rem;
  letter-spacing: 0.08em;
  text-transform: uppercase;
  padding: 0.3rem 0.45rem;
  border-radius: 4px;
  cursor: pointer;
  line-height: 1;
  transition: color 0.15s, border-color 0.15s, background 0.15s;
}
.lang-switch button:hover { color: var(--fg); }
.lang-switch button.active {
  color: var(--fg-bright);
  border-color: var(--border-hi);
  background: oklch(16% 0.004 260 / 0.8);
}
@media (max-width: 720px) {
  .lang-switch {
    top: 14px;
    right: auto;
    left: 16px;
  }
}