/* Larger navigation targets share the same visible hover and current-page state. */
html[data-theme] body :is(.topbar .nav, .portal-header .portal-nav, .portal-header .download-nav) {
  gap: 4px;
  margin-right: 18px;
}
html[data-theme] body :is(.topbar .nav, .portal-header .portal-nav, .portal-header .download-nav) > a {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  min-height: 42px;
  padding: 10px 11px;
  border-radius: 7px;
  color: var(--ink);
  font-size: 15px;
  font-weight: 600;
  line-height: 1.4;
  white-space: nowrap;
  transition: background .18s, color .18s;
}
html[data-theme] body :is(.topbar .nav, .portal-header .portal-nav, .portal-header .download-nav) > a:is(:hover, :focus-visible, .active) {
  color: #1765a6;
  background: #e6f0fc;
}
html[data-theme="dark"] body :is(.topbar .nav, .portal-header .portal-nav, .portal-header .download-nav) > a:is(:hover, :focus-visible, .active) {
  color: #b9deff;
  background: #29445f;
}
html[data-theme] body :is(.topbar .nav, .portal-header .portal-nav, .portal-header .download-nav) > a::after { display: none; }
html[data-theme] body :is(.topbar .nav, .portal-header .portal-nav, .portal-header .download-nav) > a:focus-visible { outline: 2px solid var(--blue); outline-offset: 2px; }
@media (min-width: 1121px) and (max-width: 1280px) {
  html[data-theme] body .topbar .nav { gap: 0; margin-right: 10px; }
  html[data-theme] body .topbar .nav > a { padding-inline: 8px; font-size: 14px; }
}
@media (max-width: 1120px) {
  html[data-theme] body .topbar .nav { margin-right: 0; }
  html[data-theme] body .topbar .nav > a { justify-content: flex-start; padding-inline: 12px; }
}
@media (max-width: 1280px) {
  html[data-theme] body .portal-header :is(.portal-nav, .download-nav) { margin-right: 0; }
}
@media (prefers-reduced-motion: reduce) {
  html[data-theme] body :is(.topbar .nav, .portal-header .portal-nav, .portal-header .download-nav) > a { transition: none; }
}