I’m trying to make GTK-based applications look more compact by customizing a theme, as suggested by an answer for my other question.
I reduced some values I saw in the gtkrc and it got better, but not enough.
I want to shrink it further:

How to do it?
Are there any tools helps me to adjust various paddings or at least show me the exhaustive list of properties I can set in gtkrc? Is there a document with full list of properties can be in gtkrc?
You can try gtkparasite, which is a Firebug-like for GTK+. You have to run it as:
And then you can inspect the properties of each widget, change its values, etc. In the web page you will also see a screencast on how to use it.