Tiny CSS tweaks, mostly responsive