--- a/web/css/ds.css	Fri Oct 25 12:59:43 2013 +0200
+++ b/web/css/ds.css	Fri Oct 25 13:50:41 2013 +0200
@@ -35,11 +35,11 @@
     margin-top: -10px;
     margin-bottom: 10px;
 }
-#titles {
+.over-text {
     background-color: #FFFFFF;
     border: 3px solid #EEEEEE;
     display: block;
-    margin-top: 34px;
+    /*margin-top: 34px;*/
     padding:10px;
     position: absolute;
     z-index: 99999;
@@ -79,3 +79,13 @@
     margin: 10px 10px 0;
 }
 
+
+/* userguide */
+#userguide{
+	margin-left: -454px;
+    width: 900px;
+}
+.bordered{
+	border: 1px solid grey;
+	padding-left: 4px;
+}