use solarized theme for gui too