/* Keep the shared website menu usable inside Android WebView and small browsers. */
@media(max-width:760px){
 html body>nav.bs-mobile-main-menu.open{
  display:flex!important;flex-direction:column!important;align-items:stretch!important;
  height:var(--bs-mobile-menu-height,calc(100vh - 80px))!important;
  max-height:var(--bs-mobile-menu-height,calc(100vh - 80px))!important;
  min-height:120px!important;overflow-y:auto!important;overflow-x:hidden!important;
  visibility:visible!important;opacity:1!important;box-sizing:border-box!important;
 }
 html body>nav.bs-mobile-main-menu.open>a{
  flex:0 0 auto!important;min-height:44px!important;height:auto!important;
  visibility:visible!important;opacity:1!important;white-space:normal!important;
 }
 html body>nav.bs-mobile-main-menu.open>.mobile-menu-tools-v89{
  flex:0 0 auto!important;display:grid!important;height:auto!important;max-height:none!important;
  visibility:visible!important;opacity:1!important;
 }
}