Use dark solarized theme