Use a solarized theme for pygments