Minor minor edit to syntax.css