Fri, 31 Aug 2012 13:38:00 -0700
[css3-conditional] Tweak some of the APIs.
css3-conditional/Overview.html | file | annotate | diff | comparison | revisions | |
css3-conditional/Overview.src.html | file | annotate | diff | comparison | revisions |
1.1 --- a/css3-conditional/Overview.html Fri Aug 31 13:36:14 2012 -0700 1.2 +++ b/css3-conditional/Overview.html Fri Aug 31 13:38:00 2012 -0700 1.3 @@ -21,6 +21,11 @@ 1.4 <link href="http://www.w3.org/StyleSheets/TR/W3C-ED.css" rel=stylesheet 1.5 type="text/css"> 1.6 1.7 + <head profile="http://dublincore.org/documents/2008/08/04/dc-html/ "> 1.8 + <style> 1.9 +pre, code { font-family: "DejaVu Sans Mono"; font-size: 1.1em; } 1.10 +</style> 1.11 + 1.12 <body> 1.13 <div class=head> <!--begin-logo--> 1.14 <p><a href="http://www.w3.org/"><img alt=W3C height=48
2.1 --- a/css3-conditional/Overview.src.html Fri Aug 31 13:36:14 2012 -0700 2.2 +++ b/css3-conditional/Overview.src.html Fri Aug 31 13:38:00 2012 -0700 2.3 @@ -9,6 +9,10 @@ 2.4 href="http://www.w3.org/StyleSheets/TR/W3C-[STATUS].css"> 2.5 </head> 2.6 2.7 +<style> 2.8 +pre, code { font-family: "DejaVu Sans Mono"; font-size: 1.1em; } 2.9 +</style> 2.10 + 2.11 <div class="head"> 2.12 <!--logo--> 2.13