a few more CSS tweaks