use solarized colors for pygments output