How do you change the default installation for new users, using one of the themes from http://art.gnome.org? On a case by case base following the instructions in http://art.gnome.org/faq.php seems not difficult. For a debian system, system wide change, it will be more involved.