Whitespace cleanup in a few CSS files