use Solarized Dark as terminal theme