Solarized theme for prettyprint