- From: Michael Smith via cvs-syncmail <cvsmail@w3.org>
- Date: Mon, 27 Feb 2012 10:11:22 +0000
- To: public-html-commits@w3.org
Update of /sources/public/html5
In directory hutz:/tmp/cvs-serv17244
Modified Files:
HEADER.html
Log Message:
update
Index: HEADER.html
===================================================================
RCS file: /sources/public/html5/HEADER.html,v
retrieving revision 1.9
retrieving revision 1.10
diff -u -d -r1.9 -r1.10
--- HEADER.html 27 Feb 2012 10:01:22 -0000 1.9
+++ HEADER.html 27 Feb 2012 10:11:20 -0000 1.10
@@ -9,9 +9,6 @@
font-size: 200%;
color: #0B5B9D;
}
-pre {
- font-family: Bitstream Vera Sans Mono, monospace;
-}
a {
text-decoration: none;
color: #0B5B9D;
@@ -36,7 +33,12 @@
padding-right: 12px;
padding-left: 12px;
}
+.main {
+ display: block;
+ font-family: Bitstream Vera Sans Mono, monospace;
+ white-space: pre;
+}
</style>
<h1>HTML WG editor's drafts</h1>
<p>This directory holds sources for HTML WG editor’s drafts.</p>
-<pre>
+<div class=main>
Received on Monday, 27 February 2012 10:11:27 UTC