Some minor css improvements