use solarized theme