[gtk-doc] Add more whitespace to some blocks

[Stefan Kost <stefkost src gnome org>]

commit a9b81ff9cfb4823ce02cfe036b5482a53727f02c
Author: William Jon McCann <william jon mccann gmail com>
Date:   Wed Jul 17 13:18:24 2013 -0400

    Add more whitespace to some blocks
    
    This adds some "air" to make the pages more readable.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=696570

 style.css |   28 ++++++++++++++++++++++++++++
 1 files changed, 28 insertions(+), 0 deletions(-)
---
diff --git a/style.css b/style.css
index 317a1e9..b5da273 100644
--- a/style.css
+++ b/style.css
@@ -178,6 +178,18 @@ hr
   font-size: 80%;
 }
 
+.informalfigure,
+.figure
+{
+  margin: 2em;
+}
+
+.informalexample,
+.example
+{
+  margin: 2em;
+}
+
 .warning
 {
   /* tango:orange 0/1 */
@@ -195,6 +207,7 @@ hr
   padding: 0.5em;
   border-width: 1px;
   border-style: solid;
+  margin: 2em;
 }
 .note h3, .warning h3
 {
@@ -205,6 +218,21 @@ hr
   margin-bottom: 0.0em
 }
 
+p + div.section
+{
+  margin-top: 2.5em;
+}
+
+div.refnamediv,
+div.refsynopsisdiv,
+div.refsect1,
+div.refsect2,
+div.toc,
+div.section
+{
+  margin-bottom: 2.5em;
+}
+
 /* blob links */
 h2 .extralinks, h3 .extralinks
 {