Changing CSS for code snippets; additional fixes.