/* Isolated to pages that load reader-navigation.js; Introduction is excluded. */
@media screen and (max-width:740px) {
  html[data-reader-navigation] .mainnav nav.open {
    max-height:var(--mobile-menu-space,calc(100vh - 114px));
    overflow-y:auto;
    overscroll-behavior-y:contain;
    -webkit-overflow-scrolling:touch;
  }
}