minor CSS tweaks