[gtk-doc] style: make the hr full width and slightly reduce the top/bottom margin

[Stefan Kost <stefkost src gnome org>]

commit ae57a7e10d232693232f4492b4038cf06d7721df
Author: Stefan Sauer <ensonic users sf net>
Date:   Thu Feb 13 20:23:16 2014 +0100

    style: make the hr full width and slightly reduce the top/bottom margin
    
    It looks nicer when teh horizontal lines flush.

 style/style.css |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/style/style.css b/style/style.css
index 61ce839..9c17d50 100644
--- a/style/style.css
+++ b/style/style.css
@@ -270,7 +270,7 @@ hr
   border: none 0px;
   height: 1px;
   clear: both;
-  margin: 2.5em;
+  margin: 2.0em 0em 2.0em 0em;
 }
 
 dl.toc dt