Various small UI and CSS tweaks