Various minor CSS tweaks.