/* The header's own padding. Measured: #side-header was 102px tall while the
   content inside it was only 62px, so 40px of that was the header's padding
   and the logo block's margin. A little is kept so the logo is not jammed
   against the top of the screen. Phone only, this page only. */
@media (max-width:600px){
body:has(.gq) #side-header{padding-top:0 !important;padding-bottom:0 !important;min-height:0 !important;height:auto !important}
body:has(.gq) #side-header .side-header-wrapper{padding:9px 16px !important;margin:0 !important;min-height:0 !important}
body:has(.gq) #side-header .side-header-content{margin:0 !important;min-height:0 !important}
}