more minor css tweaks