diff options
| -rw-r--r-- | doc/docs.css | 26 |
1 files changed, 25 insertions, 1 deletions
diff --git a/doc/docs.css b/doc/docs.css index 66cfbcd2e..ae97a647e 100644 --- a/doc/docs.css +++ b/doc/docs.css @@ -178,4 +178,28 @@ margin:0px 0px 10px 0px; padding:4px 4px 4px 4px; background-color: #D2D2D2; -}
\ No newline at end of file +} + +.code { +} + +.codepop { + font-weight:bold; + font-family: verdana, sans-serif; + font-size:12px; + color:#000000; + border:1px solid; + padding:10px; + margin:5px 10px 5px 0px; +} + +.codepoplink { + font-weight:bold; + font-family: verdana, sans-serif; + font-size:11px; + color:#000000; + border:1px solid; + padding:1px 2px 1px 2px; + margin:0px 10px 0px 15px; + float:right; +} |