/* Language-switch link in the mdBook menu bar. Styled to sit alongside the
   built-in icon buttons: a compact, bordered text pill that inherits the
   theme's icon colour and highlights on hover. */
.lang-switch {
  display: inline-flex;
  align-items: center;
  height: 1.6rem;
  margin: 0 0.35rem;
  padding: 0 0.6rem;
  font-size: 0.85rem;
  line-height: 1;
  color: var(--icons);
  border: 1px solid var(--icons);
  border-radius: 0.85rem;
  text-decoration: none;
  white-space: nowrap;
  opacity: 0.85;
  transition: color 0.15s ease, border-color 0.15s ease, opacity 0.15s ease;
}
.lang-switch:hover {
  color: var(--icons-hover);
  border-color: var(--icons-hover);
  opacity: 1;
  text-decoration: none;
}

/* Fallback placement when the menu bar's right-buttons container is absent. */
.lang-switch--float {
  position: fixed;
  top: 0.6rem;
  right: 0.8rem;
  z-index: 1000;
  background: var(--bg);
}

/* Build stamp (build-stamp.js) — muted, right-aligned, end of page. */
.build-stamp {
  margin-top: 3em;
  text-align: right;
  font-size: 0.75em;
  color: var(--fg, #888);
  opacity: 0.55;
}