/* Docs version menu (header) and the "older version" banner. Kept out of the webpack bundle;
   colours come from the theme tokens in assets/css/site.scss, so both themes work. */
.docs-version-switch {
  position: relative;
}
.docs-version-switch__trigger {
  display: inline-flex;
  align-items: center;
  gap: 6px;
  height: 36px;
  padding: 0 12px;
  border: 1px solid var(--docs-chrome-border);
  border-radius: var(--docs-radius-pill);
  color: var(--docs-chrome-ink);
  font-size: 0.85rem;
  cursor: pointer;
  list-style: none;
  user-select: none;
  white-space: nowrap;
}
.docs-version-switch__trigger::-webkit-details-marker { display: none; }
.docs-version-switch__trigger:hover,
.docs-version-switch[open] .docs-version-switch__trigger { border-color: var(--docs-accent); }
.docs-version-switch__trigger:focus-visible { outline: 2px solid var(--docs-accent); outline-offset: 2px; }
.docs-version-switch__label { color: var(--docs-chrome-muted); }
.docs-version-switch[open] svg { transform: rotate(180deg); }
.docs-version-switch__panel {
  position: absolute;
  right: 0;
  top: calc(100% + 6px);
  z-index: 60;
  min-width: 150px;
  margin: 0;
  padding: 6px;
  list-style: none;
  background: var(--docs-surface-strong);
  border: 1px solid var(--docs-border-strong);
  border-radius: var(--docs-radius-tight);
  box-shadow: 0 12px 32px rgba(0, 0, 0, 0.28);
}
.docs-version-switch__panel a {
  display: flex;
  justify-content: space-between;
  align-items: baseline;
  gap: 12px;
  padding: 7px 10px;
  border-radius: 6px;
  color: var(--docs-ink);
  text-decoration: none;
}
.docs-version-switch__panel a:hover { background: var(--docs-accent-soft); }
.docs-version-switch__panel a.is-current { color: var(--docs-accent); font-weight: 600; }
.docs-version-switch__panel small { color: var(--docs-muted); font-size: 0.75rem; }

.docs-version-banner {
  padding: 10px 16px;
  text-align: center;
  font-size: 0.9rem;
  color: var(--docs-ink);
  background: var(--docs-accent-soft);
  border-bottom: 1px solid var(--docs-border-strong);
}
.docs-version-banner a {
  margin-left: 6px;
  color: var(--docs-accent);
  font-weight: 600;
}

@media (max-width: 600px) {
  .docs-version-switch__label { display: none; }
  .docs-version-switch__trigger { padding: 0 10px; }
}