CSS: tweak highlighting

This should give better colors to the CSS highlighting.

![code](https://f.cloud.github.com/assets/1250894/1615910/43491c74-5602-11e3-8271-4facbc200ddc.png)

@brson