use different solarized theme to fix issues