CSS tweaks to buttons, mostly