update syntax.css (smaller font size)