Use solarized theme