From 88de726057cf9a5d7ed114cf5df43d71176b8b5c Mon Sep 17 00:00:00 2001
From: Kris Maglione <maglione.k@gmail.com>
Date: Tue, 22 Feb 2011 02:09:54 -0500
Subject: [PATCH] Add missing margins between help pages in :helpall.

---
 common/modules/config.jsm | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/common/modules/config.jsm b/common/modules/config.jsm
index 9b200ad2..f348ffc9 100644
--- a/common/modules/config.jsm
+++ b/common/modules/config.jsm
@@ -593,6 +593,8 @@ var ConfigBase = Class("ConfigBase", {
 
         Help;;;FontProportional                     line-height: 1.4em;
 
+        HelpInclude                                 margin: 2em 0;
+
         HelpArg;;;FontCode                          color: #6A97D4;
         HelpOptionalArg;;;FontCode                  color: #6A97D4;