Merge branch 'master' of /home/git/platal into profile_edit
[platal.git] / htdocs / css / wiki.css
index a8612d4..89fc8e8 100644 (file)
@@ -43,38 +43,38 @@ table.quickref td {
 
 .diffbox {
     border: 1px #999999 solid;
-    margin-top: 1.33em; 
+    margin-top: 1.33em;
 }
 .diffauthor {
-    font-weight: bold; 
+    font-weight: bold;
 }
 .diffchangesum {
-    font-weight: bold; 
+    font-weight: bold;
 }
 .difftime {
     font-size: 66%;
-    background-color: #dddddd; 
+    background-color: #dddddd;
 }
 .difftype {
     clear: both;
     font-size: 66%;
-    font-weight: bold; 
+    font-weight: bold;
 }
 .diffadd {
     border-left: 5px #99ff99 solid;
-    padding-left: 5px; 
+    padding-left: 5px;
 }
 .diffdel {
     border-left: 5px #ffff99 solid;
-    padding-left: 5px; 
+    padding-left: 5px;
 }
 .diffrestore {
     clear: both;
     font-size: 66%;
-    margin: 1.5em 0px; 
+    margin: 1.5em 0px;
 }
 a.varlink {
-    text-decoration: none; 
+    text-decoration: none;
 }
 a.createlink {
     font-size: smaller;