From 683c3986b608e9bdf915014e2888a5ae19a48b23 Mon Sep 17 00:00:00 2001
From: Sven Slootweg <jamsoftgamedev@gmail.com>
Date: Tue, 8 Jan 2013 23:17:48 +0100
Subject: [PATCH] Fix margin below table of contents

---
 tools/documentation/zippydoc/zpy2html.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tools/documentation/zippydoc/zpy2html.py b/tools/documentation/zippydoc/zpy2html.py
index 3417fc7..d0a8097 100644
--- a/tools/documentation/zippydoc/zpy2html.py
+++ b/tools/documentation/zippydoc/zpy2html.py
@@ -112,6 +112,7 @@ template = """
 				background-color: #E6E6E6;
 				padding: 8px 9px;
 				font-size: 15px;
+				margin-bottom: 12px;
 			}
 
 			.toc h2