Use Solarized (Dark) theme