update the default theme for gui_gtk