(no commit message)

diff --git a/doc/docs.css b/doc/docs.css
index e7384ed6583ecdd9dafc133483f2d95296d1f781..66cfbcd2ee435ca230979ccc3fab7c82b4e41b80 100644 (file)
--- 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