use solarized instead of zenburn