In response to blip #133513
okay, _here's_ my final CSS tweaks for the new mobile site navigation menu
/*site background visible behind header*/
#nav-toggle, .nav-logo, .nav-controls, .nav-controls .nav-tools-login { background: none; }
/*header way shorter (this also unintentionally makes the site logo hang off the header a few pixels, but I think it looks cool, so...)*/
.nav-toggled body { padding-top: 2rem; }
.navigation, .nav-logo, .nav-logo-link { height: 2rem; }
.nav-toggled .navigation { height: unset; }
.nav-controls { padding: 0; }
.nav-logo { z-index: 20 }
/*font-awesome icons not yellow*/
.fas, .far { color: unset; }
/*primary and secondary nav menu elements the same height*/
.divider { height: 0; border-width-bottom: 1px; border-color: #5a646d; margin-top: -.75px; }
.nav-primary li a, .nav-secondary li a { height: 1.5rem; padding: .5rem; }
.nav-secondary li form input { padding: 7.33px; }
/*help/tool buttons of site nav less big*/
.nav-tools, .nav-help { gap:.5rem; padding:.5rem }