(no commit message)

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