/* Mobile drawer specifics. The bulk of the drawer lives in responsive.css so
   it stays inside the same breakpoint. */
.mobile-menu::-webkit-scrollbar { width: 3px; }
.mobile-menu::-webkit-scrollbar-thumb { background: rgba(0,0,0,.15); border-radius: 3px; }
body.menu-open { overflow: hidden; }