Changing theme to solarized