/* Phones: the navbar is attached to the top edge (no gap above it where page content could pass by) */
@media(max-width:900px){
  html body>#topbar#topbar.topbar,html body #topbar#topbar.topbar{
    top:0!important;left:0!important;right:0!important;width:100%!important;max-width:100%!important;margin:0!important;
    border-radius:0 0 22px 22px!important;border-top:0!important;
    padding-top:env(safe-area-inset-top,0px)!important;box-sizing:border-box!important;
  }
  html body>#topbar#topbar.topbar::before{border-radius:0 0 22px 22px!important}
}