I've written a tutorial explaining how to edit Gnome themes, including basic overview of architecture and configuration files, HTML/CSS model, tweaks and changes, ergonomic considerations, and more. Take a look. http://www.dedoimedo.com/computers/gnome-edit-theme.html Cheers, Mrk