some very minor css changes