modify syntax.css for highlight