Use Solarized dark for pygments