more minor CSS tweaks