Minor edits to CSS