1 files changed, 10 insertions, 1 deletions
diff --git a/doc/src/template/style/style.css b/doc/src/template/style/style.css
index 04d8c05..d623bd4 100755
--- a/doc/src/template/style/style.css
+++ b/doc/src/template/style/style.css
@@ -176,7 +176,16 @@
     {
      /*   background-color: #E6E6E6;*/ /* disabled until further notice */
     }
-    		
+
+    div.float-left
+    {
+        float: left; margin-right: 2em
+    }
+    div.float-right
+    {
+        float: right; margin-left: 2em
+    }
+
     span.comment
     {
         color: #008B00;