--- 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;