Nice: colour-coded text in CSS editor in WP 2.8.