Changed to dark solarized as default.