Use dark solarized colorscheme