Changing the theme and syntax highlighting: