use solarized themes