diff options
| -rw-r--r-- | doc/docs.css | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/doc/docs.css b/doc/docs.css index e7384ed65..66cfbcd2e 100644 --- a/doc/docs.css +++ b/doc/docs.css @@ -168,3 +168,14 @@ padding:0px 0px 3px 0px; } +.docstring { + margin-left:15px; + margin-bottom:5px; + margin-top:5px; +} + +.darkcell { + margin:0px 0px 10px 0px; + padding:4px 4px 4px 4px; + background-color: #D2D2D2; +}
\ No newline at end of file |