CSS tweaks

Very minimal cleanup.