/* Umschalter Deutsch / Englisch in der Kopfzeile */
.site-nav a.sprache { border: 1px solid var(--line); font-weight: 700; font-size: .8rem; letter-spacing: .06em; margin-left: 6px; }
.site-nav a.sprache:hover { border-color: currentColor; }
.theme-knx .site-nav a.sprache { border-color: var(--page-line); }