Use dark solarized colorscheme by default