Small style tweaks to syntax highlighting theme