title: How to tune a GTK theme? Is there an exhaustive list of properties?
body: <p>I'm trying to make GTK-based applications look more compact by customizing a theme, as suggested by <a href="https://superuser.com/questions/533090/how-to-make-fillers-in-gtk-applications-smaller">an answer</a> for my other question.</p>
  
  <p>I reduced some values I saw in the <code>gtkrc</code> and it got better, but not enough.</p>
  
  <p>I want to shrink it further:</p>
  
  <hr>
  
  <p><img src="https://i.stack.imgur.com/JkuGd.png" alt="Customized GTK theme with areas I want to remove"></p>
  
  <hr>
  
  <p>How to do it? </p>
  
  <p>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 <code>gtkrc</code>?</p>