/* Keep document height and scroll position stable while the menu locks scrolling.
   Extra specificity also overrides the lazily loaded legacy drawer stylesheet. */
html:root.app-menu-open { overflow: hidden; }
html:root.app-menu-open body { overflow: visible; }