tweaks

diff --git a/doc/docs.css b/doc/docs.css
index e78533cb834ec74d5afe509f2e9a2fdf83888081..9075e00673aab558113d848c9154673b63dbb672 100644 (file)
--- a/doc/docs.css
+++ b/doc/docs.css
@@ -10,6 +10,11 @@
        margin:10px 0px 10px 0px;
 }
 
+pre {
+    margin:0px;
+    padding:0px;
+}
+
 .prevnext {
        padding: 5px 0px 0px 0px;
 }
@@ -141,7 +146,7 @@ h3 {
        font-size:12px;
        background-color: #f0f0f0;      
        border: solid 1px #ccc;
-       padding:2px 2px 2px 10px;
+       padding:10px;
        margin: 5px 5px 5px 5px;
        overflow:auto;
 }
@@ -151,7 +156,7 @@ h3 {
        font-size:12px;
        background-color: #f0f0f0;      
        border: solid 1px #ccc;
-       padding:2px 2px 2px 10px;
+       padding:10px; /*2px 2px 2px 10px;*/
        margin: 5px 5px 5px 5px;
        line-height:1.2em;
 }

diff --git a/doc/syntaxhighlight.css b/doc/syntaxhighlight.css
index 8529ebb5fc6511386d64588a583a94b957118f84..d0ecae2d3b7431e3aaca807cb1e7228537eb8ebb 100644 (file)
--- a/doc/syntaxhighlight.css
+++ b/doc/syntaxhighlight.css
@@ -34,7 +34,7 @@
 }
 
 .python_operator {
-       color: #EF0005;
+       color: #BF0005;
 }
 
 .python_enclosure {