use solarized as theme