web/css/ds.css
changeset 37 4239688886de
parent 34 d91aeb76b54a
child 45 a1c981ff32ac
--- a/web/css/ds.css	Fri Oct 25 14:29:44 2013 +0200
+++ b/web/css/ds.css	Fri Oct 25 16:27:22 2013 +0200
@@ -82,9 +82,12 @@
 
 /* userguide */
 #userguide{
-	margin-left: -454px;
+	margin-left: -474px;
     width: 900px;
 }
+#ugbtn{
+	margin-right:20px;
+}
 .bordered{
 	border: 1px solid grey;
 	padding-left: 4px;