/* Reduce excess vertical space while keeping category links easy to tap. */
body .nav{min-height:0;padding:2px 5vw;row-gap:0;column-gap:4px}
body .nav a{min-height:32px;padding:0 8px}
@media(max-width:600px){body .nav{padding:2px 10px;row-gap:0;column-gap:2px}body .nav a{min-height:32px;padding:0 7px}}