diff -r 5e60868dad6a -r d91aeb76b54a web/css/ds.css --- 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; +}