Removed Gtk `theme` configuration options. (Didn't work anymore.)