[gtk-doc] Tweak the spacings in the css

[William Jon McCann <mccann src gnome org>]

commit eaf3d8d3a5e760d72150b351c9908d8038d49ccb
Author: William Jon McCann <william jon mccann gmail com>
Date:   Mon Feb 10 20:46:18 2014 -0500

    Tweak the spacings in the css
    
    https://bugzilla.gnome.org/show_bug.cgi?id=724099

 style/style.css |    5 +++--
 1 files changed, 3 insertions(+), 2 deletions(-)
---
diff --git a/style/style.css b/style/style.css
index b13e348..009516d 100644
--- a/style/style.css
+++ b/style/style.css
@@ -237,6 +237,7 @@ hr
   border: none 0px;
   height: 1px;
   clear: both;
+  margin: 2.5em;
 }
 
 dl.toc dt
@@ -319,7 +320,7 @@ div.note h3.title
 
 p + div.section
 {
-  margin-top: 2.5em;
+  margin-top: 1em;
 }
 
 div.refnamediv,
@@ -329,7 +330,7 @@ div.refsect2,
 div.toc,
 div.section
 {
-  margin-bottom: 2.5em;
+  margin-bottom: 1em;
 }
 
 /* blob links */