CSS syntax highlighting tweaks