From 0e47ee362729341469b0a99a596af2e608335ab2 Mon Sep 17 00:00:00 2001
From: Mike Bayer <mike_mp@zzzcomputing.com>
Date: Sun, 18 Aug 2013 20:49:07 -0400
Subject: [PATCH] add some height

---
 doc/build/static/docs.css | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/doc/build/static/docs.css b/doc/build/static/docs.css
index 26ebec5b13..ebf5827a6e 100644
--- a/doc/build/static/docs.css
+++ b/doc/build/static/docs.css
@@ -151,7 +151,6 @@ a.headerlink:hover {
 #docs-body-container {
   background-color:#EFEFEF;
   border: solid 1px #CCC;
-
 }
 
 #docs-body,
@@ -166,6 +165,10 @@ a.headerlink:hover {
 
 }
 
+#docs-body {
+  min-height: 400px;
+}
+
 #docs-sidebar > ul {
   font-size:.85em;
 }
@@ -339,7 +342,7 @@ div.admonition, div.topic, .deprecated, .versionadded, .versionchanged {
 .deprecated .versionmodified,
 .versionadded > p:first-child > span:first-child,
 .versionchanged > p:first-child > span:first-child,
-.deprecated > p:first-child > span:first-child 
+.deprecated > p:first-child > span:first-child
 {
     background-color: #ECF0F3;
     color: #990000;
-- 
2.47.2