a few minor css tweaks