/* Mobiles Burger-Menü: scrollt selbst, wenn es höher als der Bildschirm ist. */
.nav-menu {
    max-height: calc(100vh - 96px);
    max-height: calc(100dvh - 96px);
    overflow-y: auto;
    overscroll-behavior: contain;
    -webkit-overflow-scrolling: touch;
}
.nav-menu > * { flex-shrink: 0; }
html.nav-locked, html.nav-locked body { overflow: hidden; }