CSS tweaks (#38)