minor css tweakery