diff options
Diffstat (limited to 'doc/docs.css')
| -rw-r--r-- | doc/docs.css | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/doc/docs.css b/doc/docs.css index e78533cb8..9075e0067 100644 --- 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; } |