From 4eace5adda104357caf6d63ec52d14da37162661 Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <eelco.dolstra@logicblox.com>
Date: Sat, 13 Dec 2014 23:21:14 +0100
Subject: [PATCH] Style

---
 doc/manual/style.css | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/doc/manual/style.css b/doc/manual/style.css
index dedca1471..53fd9d570 100644
--- a/doc/manual/style.css
+++ b/doc/manual/style.css
@@ -66,6 +66,12 @@ div.appendix h3
     margin-top: 1.5em;
 }
 
+div.refentry\.separator
+{
+    margin-top: 2.5em;
+    margin-bottom: 2em;
+}
+
 div.refnamediv h2, div.refsynopsisdiv h2, div.refsection h2 /* refentry parts */
 {
     margin-top: 1.4em;