doc

2012-11-18 08:28:03 +01:00
parent 4544571490
commit 86bc80d657
6 changed files with 143 additions and 157 deletions
@@ -83,7 +83,8 @@ p.remark {
    margin-right: 4em;
 }
 div.news {
-    font-size: 80%;
+    font-size: 90%;
+    margin-right: 5em;
 }
 .application {
    font-weight: bold;