fixed up theme to use the GTK version on linux