Minor formatting changes to CSS