Revise syntax.css