Small CSS tweaks for the GUI