Another minor css improvement