[css3-conditional] Tweak some of the APIs.

tabatkins · tabatkins · commit e28fe693a2d9 · 2012-08-31T13:38:00.000-07:00
diff --git a/css3-conditional/Overview.html b/css3-conditional/Overview.html
@@ -21,6 +21,11 @@
   <link href="http://www.w3.org/StyleSheets/TR/W3C-ED.css" rel=stylesheet
    type="text/css">
 
+ <head profile="http://dublincore.org/documents/2008/08/04/dc-html/ ">
+  <style>
+pre, code { font-family: "DejaVu Sans Mono"; font-size: 1.1em; }
+</style>
+
  <body>
   <div class=head> <!--begin-logo-->
    <p><a href="http://www.w3.org/"><img alt=W3C height=48
diff --git a/css3-conditional/Overview.src.html b/css3-conditional/Overview.src.html
@@ -9,6 +9,10 @@
         href="http://www.w3.org/StyleSheets/TR/W3C-[STATUS].css">
 </head>
 
+<style>
+pre, code { font-family: "DejaVu Sans Mono"; font-size: 1.1em; }
+</style>
+
 <div class="head">
 <!--logo-->
 
