1 files changed, 7 insertions, 11 deletions
diff --git a/doc-src/02-docstyle.css b/doc-src/02-docstyle.css
index ed83708a..9b8a8edc 100644
--- a/doc-src/02-docstyle.css
+++ b/doc-src/02-docstyle.css
@@ -1,16 +1,12 @@
-.terminal {
-    color: #c0c0c0;
-    font-size: 1em;
-    background: #000000;
+body {
+    padding-top: 60px;
+    padding-bottom: 40px;
 }
 
-
-pre {
-    margin-top: 10px;
-    color: #333;
-}
-
-
 .tablenum {
     font-weight: bold;
+} 
+
+.nowrap {
+     white-space: nowrap;
 }