From f77d83c26b60e5e53225eefcbfa5366c3ece5a85 Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <eelco.dolstra@logicblox.com>
Date: Tue, 16 Sep 2014 15:37:38 +0200
Subject: [PATCH] Style tweak

---
 doc/manual/local.mk  | 3 ++-
 doc/manual/style.css | 5 +++++
 2 files changed, 7 insertions(+), 1 deletion(-)

diff --git a/doc/manual/local.mk b/doc/manual/local.mk
index 7a2c36cce..0a5353acd 100644
--- a/doc/manual/local.mk
+++ b/doc/manual/local.mk
@@ -6,7 +6,8 @@ XSLTPROC = $(xsltproc) --nonet $(xmlflags) \
   --param toc.section.depth 3 \
   --param admon.style \'\' \
   --param callout.graphics.extension \'.gif\' \
-  --param contrib.inline.enabled 0
+  --param contrib.inline.enabled 0 \
+  --stringparam generate.toc "book toc"
 
 MANUAL_SRCS := $(call rwildcard, $(d), *.xml)
 
diff --git a/doc/manual/style.css b/doc/manual/style.css
index ac76a64bb..f805aeab0 100644
--- a/doc/manual/style.css
+++ b/doc/manual/style.css
@@ -28,6 +28,11 @@ h2 /* chapters, appendices, subtitle */
     font-size: 180%;
 }
 
+div.part
+{
+    margin-top: 2em;
+}
+
 /* Extra space between chapters, appendices. */
 div.chapter > div.titlepage h2, div.appendix > div.titlepage h2 
 {