...

diff --git a/local.css b/local.css
index c32487a4889820b91a3f4290cf8373e073e41f6a..b0413d6495ba1fb213b650724fcc6a46f5cf94c2 100644 (file)
--- a/local.css
+++ b/local.css
@@ -37,10 +37,11 @@ ul.splitlist {overflow: auto;}
     li.doublelist {width: 40%;
                    float: left;}
 
-    div.virtflaw {float: left;
-                  padding-right: 2%;}
 }
 
+div.virtflaw {float: left;
+              padding-right: 2%;}
+
 div.multicol ul {list-style-type: none;
                  padding-left: 1em;}