/* A little extra vertical breathing room; type and horizontal layout unchanged. */
@media(min-width:901px){
 body>.header,body.home-view>.header{min-height:112px;height:112px}
}
@media(max-width:900px){
 body>.header,body.home-view>.header{min-height:96px;height:96px}
 body .header .nav.open,body.home-view .header .nav.open{top:96px;max-height:calc(100svh - 120px)}
}