Switch to Stump, use default GTK themes, cleanup minor issues.