more trivial css changes