html5 HEADER.html,1.2,1.3 Makefile,1.3,NONE

• From: Michael Smith via cvs-syncmail <cvsmail@w3.org>
• Date: Mon, 27 Feb 2012 09:47:22 +0000
• To: public-html-commits@w3.org
• Message-Id: <E1S1xAx-0003v5-0C@lionel-hutz.w3.org>

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

Modified Files:
	HEADER.html 
Removed Files:
	Makefile 
Log Message:
updated

--- Makefile DELETED ---

Index: HEADER.html
===================================================================
RCS file: /sources/public/html5/HEADER.html,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -d -r1.2 -r1.3
--- HEADER.html	27 Feb 2012 09:40:34 -0000	1.2
+++ HEADER.html	27 Feb 2012 09:47:20 -0000	1.3
@@ -7,20 +7,20 @@
 }
 h1 {
   font-size: 110%;
-  color: #096;
+  color: #0B5B9D;
 }
 pre {
   font-family: Bitstream Vera Sans Mono, monospace;
 }
 a {
   text-decoration: none;
-  color: #096;
+  color: #0B5B9D;
   padding: 2px;
 }
 
 a:hover {
   text-decoration: none;
-  background-color: #096;
+  background-color: #0B5B9D;
   color: white;
 }
 a:active {
@@ -28,6 +28,9 @@
   background-color: white;
   color: black;
 }
+p:first-child {
+  margin-bottom: 16px;
+}
 </style>
 <h1>HTML WG editor's drafts</h1>
 <p>This directory holds sources for HTML WG editor’s drafts.

Received on Monday, 27 February 2012 09:47:24 UTC