/* Mobile-only repair: ensure the already-populated menu sits above page content. */
@media (max-width:1000px) {
  #mobile-menu {
    position:fixed;
    top:var(--main-header-height, 104px);
    left:12px;
    right:12px;
    width:auto;
    z-index:10000;
    max-height:calc(100dvh - var(--main-header-height, 104px) - 16px);
    overflow-y:auto;
    -webkit-overflow-scrolling:touch;
  }
  #mobile-menu[hidden] {display:none!important;}
  #mobile-menu.is-open:not([hidden]) {
    display:block!important;
    opacity:1;
    visibility:visible;
    pointer-events:auto;
    transform:none;
  }
  #mobile-menu a, #mobile-menu summary {min-height:44px;box-sizing:border-box;}
}