Browsers do not consistently handle non-integer values for font-size.

Author: grimreaper

src/doc/rust.css

@@ -159,7 +159,7 @@ em {
 
 footer {
     border-top: 1px solid #ddd;
-    font-size: 14.3px;
+    font-size: 14px;
     font-style: italic;
     padding-top: 5px;
     margin-top: 3em;