modify syntax.css