diff options
Diffstat (limited to 'doc/docs.css')
| -rw-r--r-- | doc/docs.css | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/doc/docs.css b/doc/docs.css index 6cb08c555..c86b6ded2 100644 --- a/doc/docs.css +++ b/doc/docs.css @@ -88,7 +88,7 @@ font-size: 12px; font-weight: bold; text-decoration:underline; - padding:5px; + padding:5px 5px 5px 0px; } code { @@ -197,6 +197,16 @@ pre { line-height:1.2em; } +.sliding_code { + font-family:courier, serif; + font-size:12px; + background-color: #E2E2EB; + padding:2px 2px 2px 10px; + margin: 5px 5px 5px 5px; + line-height:1.2em; + overflow:auto; +} + .codepop { font-weight:bold; font-family: verdana, sans-serif; |