Actually do solarized