about summary refs log tree commit diff
diff options
context:
space:
mode:
authorEelco Dolstra <eelco.dolstra@logicblox.com>2014-12-13T22·21+0100
committerEelco Dolstra <eelco.dolstra@logicblox.com>2014-12-13T22·21+0100
commit4eace5adda104357caf6d63ec52d14da37162661 (patch)
treebff1d2b37113c2cf1fff10c9b33c67fe09cce71c
parent751ae181a1ca006f2a62bd1e68b463f8f2023a8b (diff)
Style
-rw-r--r--doc/manual/style.css6
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/manual/style.css b/doc/manual/style.css
index dedca147119f..53fd9d5709c3 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;