/* Language switch. Each page exists once per language (/page.html and
   /en/page.html); the toggle is a pair of links between the two.

   The two rules below hide the other language's copy. The build already
   removes it from every page (tools/lang-split.js), so they matter only for
   elements that scripts create at runtime with both languages inside, such as
   the live-audio panel. */
[data-lang="de"] [data-lang-text="en"] {
  display: none !important;
}

[data-lang="en"] [data-lang-text="de"] {
  display: none !important;
}

.lang-toggle {
  display: inline-flex;
  overflow: hidden;
  border: 1px solid rgba(255, 255, 255, 0.4);
  border-radius: 999px;
}

.lang-toggle a {
  padding: 0.3rem 0.7rem;
  color: #fff;
  font-size: 0.75rem;
  font-weight: 700;
  letter-spacing: 0.03em;
  text-decoration: none;
}

.lang-toggle a:hover {
  background: rgba(255, 255, 255, 0.12);
}

.lang-toggle a[aria-current="true"] {
  background: rgba(255, 255, 255, 0.25);
}