[css3-fonts] fixup after tab's monospace font switch

Author: John Daggett

css3-fonts/Fonts.html

@@ -48,10 +48,6 @@
     margin-bottom: 1em;
   }
 
-  pre {
-  	font-size: 100%;
-  }
-  
   #authors dd {
     margin-bottom: 0;
   }
@@ -81,32 +77,6 @@
     page-break-inside: avoid;
   }
 
-/*
-  .data {
-    margin: 1em auto;
-    border-collapse: collapse;
-  }
-
-  .data caption {
-    width: 100%;
-    text-align: center;
-  }
-
-  .data td, .data th {
-    padding-left: 0.5em;
-    padding-right: 0.5em;
-    text-align: center;
-  }
-
-  .data thead th:first-child {
-    text-align: right;
-  }
-
-  .data tbody th:first-child {
-    text-align: left;
-    padding-left: 0.5em;
-  }
-*/
   pre.prod { white-space: pre-wrap; margin: 1em 0 1em 2em }
 
   div.featex { 
@@ -134,15 +104,15 @@
 
    <h1>CSS Fonts Module Level 3</h1>
 
-   <h2 class="no-num no-toc" id=editors-draft-4-september-2012>Editor's Draft
-    4 September 2012</h2>
+   <h2 class="no-num no-toc" id=editors-draft-5-september-2012>Editor's Draft
+    5 September 2012</h2>
 
    <dl id=authors>
     <dt>This version:
 
     <dd><a
      href="http://dev.w3.org/csswg/css3-fonts/">http://dev.w3.org/csswg/css3-fonts/</a>
-     <!-- <dd><a href="http://www.w3.org/TR/2012/ED-css3-fonts-20120904/">http://www.w3.org/TR/2012/ED-css3-fonts-20120904/</a> -->
+     <!-- <dd><a href="http://www.w3.org/TR/2012/ED-css3-fonts-20120905/">http://www.w3.org/TR/2012/ED-css3-fonts-20120905/</a> -->
 
 
     <dt>Latest version:

default.css

@@ -53,7 +53,7 @@ pre {
 }
 
 pre, code {
-	font-family: "Consolas", "DejaVu Sans Mono", "Andale Mono", monospace; 
+	font-family: Menlo, Consolas, "DejaVu Sans Mono", monospace;
 	font-size: .9em;
 }