/* Pin the shared header at every viewport width, including iPad landscape. */
html {
  scroll-padding-top: calc(var(--mobile-nav-height, 80px) + 16px);
}
body {
  padding-top: var(--mobile-nav-height, 80px);
}
.sticky-nav {
  position: fixed;
  inset: 0 0 auto;
  width: 100%;
  box-sizing: border-box;
  z-index: 10000;
  background: #080b14;
  backdrop-filter: none;
  -webkit-backdrop-filter: none;
  padding-top: env(safe-area-inset-top, 0px);
  isolation: isolate;
  box-shadow: 0 4px 16px #0006;
}
.sticky-nav .navmenu > div {
  z-index: 1;
}
@media (max-width: 900px) {
  .sticky-nav {
    max-height: 100vh;
    max-height: 100dvh;
    overflow-y: auto;
  }
  .sticky-inner {
    flex-wrap: wrap;
  }
  .sticky-brand {
    margin-right: auto;
  }
  .nav-toggle {
    display: block;
  }
  #sticky-links {
    display: none;
    order: 5;
    flex-basis: 100%;
    flex-direction: column;
    align-items: stretch;
    gap: 6px;
    padding: 12px 0;
    min-width: 0;
  }
  #sticky-links.is-open {
    display: flex;
  }
  #sticky-links > a,
  #sticky-links .navmenu > summary {
    padding: 12px;
  }
  /* Keep the submenu in the header's scrollable layout, avoiding clipping. */
  #sticky-links .navmenu > div {
    position: static;
    min-width: 0;
    width: 100%;
    max-height: none;
    overflow: visible;
    margin-top: 4px;
  }
}