still more CSS tweaks