less stupid GTK3 theme