Fix margin below table of contents

11 years ago · 683c3986b6
parent 8920251d2c
commit 683c3986b6
1 changed files with 1 additions and 0 deletions
--- 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