Various minor CSS edits