[gtk-doc] style.css: save a little screen space

[Stefan Kost <stefkost src gnome org>]

commit 968ebfd953487011eb36ca87996e5607654ee1a0
Author: Stefan Sauer <ensonic users sf net>
Date:   Wed May 6 22:24:41 2015 +0200

    style.css: save a little screen space
    
    The new style went a bit overboard with the whitespace.
    Fixes #736725

 style/style.css |   11 ++++++-----
 1 files changed, 6 insertions(+), 5 deletions(-)
---
diff --git a/style/style.css b/style/style.css
index c141ddd..f6e0147 100644
--- a/style/style.css
+++ b/style/style.css
@@ -60,7 +60,7 @@ a:hover
 div.informaltable table
 {
   border-collapse: separate;
-  border-spacing: 1em 0.5em;
+  border-spacing: 1em 0.3em;
   border: none;
 }
 
@@ -148,6 +148,8 @@ div.table table th
 h4
 {
   color: #555753;
+  margin-top: 1em;
+  margin-bottom: 1em;
 }
 
 hr
@@ -166,17 +168,16 @@ dl.toc dt
   padding-bottom: 0.25em;
 }
 
-dl.toc > dd > dl > dt
+dl.toc > dt
 {
   padding-top: 0.25em;
   padding-bottom: 0.25em;
+  font-weight: bold;
 }
 
-dl.toc > dt
+dl.toc > dl
 {
-  padding-top: 1em;
   padding-bottom: 0.5em;
-  font-weight: bold;
 }
 
 .parameter