More valid.

prestatic/general.css

@@ -111,7 +111,7 @@ h4 {
 }
 
 h5 {
-    margin-top: 5px 0 1px 0;
+    margin: 5px 0 1px 0;
     font-size: 16px;
     font-weight: bold;
 }
@@ -243,7 +243,7 @@ ul > * > ul, ol > * > ul {
 }
 
 ul > * * > ul, ol > * * > ul {
-    list-style-type: disc; ! important
+    list-style-type: disc !important;
 }
 
 ol {
@@ -259,7 +259,7 @@ ol > * > ol, ul > * > ol {
 }
 
 ol > * * > ol, ul > * * > ol {
-    list-style-type: decimal; ! important
+    list-style-type: decimal !important;
 }
 
 
@@ -269,7 +269,7 @@ dd {
     margin-left: 20px;
 }
 
-dl > dl {
+dl dl {
     margin-left: 21px;
     padding-left: 5px;
     border-left: 4px solid #000;
@@ -348,15 +348,15 @@ caption {
 }
 
 .center-align, .center-align > * {
-    text-align: center; ! important
+    text-align: center !important;
 }
 
 .right-align, .right-align > * {
-    text-align: right; ! important
+    text-align: right !important;
 }
 
 .left-align, .left-align > * {
-    text-align: left; ! important
+    text-align: left !important;
 }
 
 .center-float {
@@ -389,27 +389,27 @@ div.left-float, img.left-float, video.left-float, audio.left-float  {
 }
 
 .noclear, div.caption.noclear {
-    clear: none; ! important
+    clear: none !important;
 }
 
 .huge, .huge * {
-    font-size: 25px; ! important
+    font-size: 25px !important;
 }
 
 .large, .large * {
-    font-size: 18px; ! important
+    font-size: 18px !important;
 }
 
 .medium, .medium * {
-    font-size: 14px; ! important
+    font-size: 14px !important;
 }
 
 .small, .small * {
-    font-size: 11px; ! important
+    font-size: 11px !important;
 }
 
 .tiny, .tiny * {
-    font-size: 9px; ! important
+    font-size: 9px !important;
 }
 
 
@@ -434,7 +434,7 @@ div.left-float, img.left-float, video.left-float, audio.left-float  {
 .linenos {
     border-width: 0 1px 0 0;
     border-style: solid;
-    border-size: black;
+    border-color: black;
     vertical-align: top;
 }