[gtk-doc] Add a little space in the table of contents lists

[Stefan Kost <stefkost src gnome org>]

commit 784651588afc62beb1b203c16f21475d40a254de
Author: William Jon McCann <william jon mccann gmail com>
Date:   Wed Jul 17 22:17:37 2013 -0400

    Add a little space in the table of contents lists
    
    https://bugzilla.gnome.org/show_bug.cgi?id=696570

 style.css |   18 ++++++++++++++++++
 1 files changed, 18 insertions(+), 0 deletions(-)
---
diff --git a/style.css b/style.css
index b5da273..f11600d 100644
--- a/style.css
+++ b/style.css
@@ -164,6 +164,24 @@ hr
   clear: both;
 }
 
+dl.toc dt
+{
+  padding-bottom: 0.25em;
+}
+
+dl.toc > dd > dl > dt
+{
+  padding-top: 0.25em;
+  padding-bottom: 0.25em;
+}
+
+dl.toc > dt
+{
+  padding-top: 1em;
+  padding-bottom: 0.5em;
+  font-weight: bold;
+}
+
 .parameter
 {
   font-style: normal;