CSS syntax highlighting improvements.  Auto-indentation and auto-closing of curlies, as well as 'mark occurrences' now marking all occurrences of the selected CSS property