change to solarized dark