html5 HEADER.html,1.30,1.31

• From: Michael Smith via cvs-syncmail <cvsmail@w3.org>
• Date: Mon, 27 Feb 2012 11:32:13 +0000
• To: public-html-commits@w3.org
• Message-Id: <E1S1yoP-0007Ww-Se@lionel-hutz.w3.org>

Update of /sources/public/html5
In directory hutz:/tmp/cvs-serv28932

Modified Files:
	HEADER.html 
Log Message:
updated

Index: HEADER.html
===================================================================
RCS file: /sources/public/html5/HEADER.html,v
retrieving revision 1.30
retrieving revision 1.31
diff -u -d -r1.30 -r1.31
--- HEADER.html	27 Feb 2012 11:27:59 -0000	1.30
+++ HEADER.html	27 Feb 2012 11:32:11 -0000	1.31
@@ -39,16 +39,13 @@
 th {
   text-align: left;
 }
-pre img:first-child {
-  display: none;
-}
-hr + img,
-hr + img + a {
+tr:nth-child(3) {
   display: none;
 }
-pre {
-  font-size: 120%;
+.main {
+  display: block;
   font-family: Bitstream Vera Sans Mono, monospace;
+  white-space: pre;
 }
 </style>
 <h1>
@@ -62,3 +59,4 @@
 repository easily browsable on the Web.
 <p>Some HTML Working Group editor’s drafts are now maintained in the
 <a href="http://dvcs.w3.org/hg">W3C Mercurial server</a> rather than here.
+<div class=main>

Received on Monday, 27 February 2012 11:32:19 UTC