Some minor cleaning up.

opencor · Nov 25, 2019 · 75f6a96 · 75f6a96
1 parent 90c2902
commit 75f6a96
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/res/stylesheet.css b/doc/res/stylesheet.css
@@ -63,7 +63,7 @@ div.copyright div.right {
 }
 
 div.copyright div a.copyright:hover {
-    margin: 0
+    margin: 0;
     border: 0;
     background: none;
 }