/* The Portals menu in the site strip (.nav-utility), shared by every page that carries the strip.
   The rest of the header CSS is copied into each page; this part lives once because it is new and
   identical everywhere. Relies on the brand tokens (--void, --ink, --pulse, --slate, --mist) that
   every such page defines on :root. */
.nav-menu {
  position: relative;
  display: flex;
  align-items: center;
}
.nav-menu-toggle > summary {
  list-style: none;
  cursor: pointer;
  color: var(--slate);
  font-size: 0.95rem;
  line-height: 1;
  padding: 3px 6px;
  margin-left: -6px;
  border-radius: 100px;
}
.nav-menu-toggle > summary::-webkit-details-marker {
  display: none;
}
.nav-menu-toggle > summary:hover,
.nav-menu-toggle[open] > summary {
  color: #fff;
  background: rgba(255, 255, 255, 0.08);
}
.nav-menu-panel {
  position: absolute;
  top: calc(100% + 6px);
  left: 0;
  z-index: 20; /* above the sticky .nav-bar (z-index 10) */
  min-width: 220px;
  padding: 8px;
  display: flex;
  flex-direction: column;
  background: var(--void);
  border: 1px solid rgba(255, 255, 255, 0.12);
  border-radius: 12px;
  box-shadow: 0 16px 32px -12px rgba(0, 0, 0, 0.6);
}
.nav-menu-head {
  color: var(--slate);
  font-size: 0.65rem;
  font-weight: 600;
  letter-spacing: 0.1em;
  text-transform: uppercase;
  padding: 8px 10px 4px;
}
.nav-menu-panel a {
  display: block;
  color: var(--mist);
  font-size: 0.8125rem;
  padding: 6px 10px;
  border-radius: 8px;
}
.nav-menu-panel a[hidden] {
  display: none;
}
.nav-menu-panel a.nav-menu-all {
  margin-top: 6px;
  border-top: 1px solid rgba(255, 255, 255, 0.08);
  border-radius: 0 0 8px 8px;
  padding-top: 10px;
  color: var(--pulse);
}
/* Below 900px the strip scrolls sideways, which would clip the panel. There the toggle goes and
   Portals stays a plain link to /portals. */
@media (max-width: 900px) {
  .nav-menu-toggle {
    display: none;
  }
}