Minor edit to syntax.css