add some height

diff --git a/doc/build/static/docs.css b/doc/build/static/docs.css
index 26ebec5b13c148c3a0b21d349c5fa369a45c86c9..ebf5827a6e82640b5b22ce462ebee110c3047ec4 100644 (file)
--- 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;