Add solarized dark prettify theme