Add a couple minor tweaks to the syntax.css