color-theme-gtk-ide is the default