- From: Michael Smith via cvs-syncmail <cvsmail@w3.org>
- Date: Mon, 27 Feb 2012 09:40:36 +0000
- To: public-html-commits@w3.org
Update of /sources/public/html5
In directory hutz:/tmp/cvs-serv14499
Modified Files:
HEADER.html
Log Message:
updated
Index: HEADER.html
===================================================================
RCS file: /sources/public/html5/HEADER.html,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -d -r1.1 -r1.2
--- HEADER.html 27 Feb 2012 09:38:02 -0000 1.1
+++ HEADER.html 27 Feb 2012 09:40:34 -0000 1.2
@@ -1,6 +1,33 @@
<!doctype html>
<meta charset=utf-8>
<title>HTML WG editor's drafts</title>
-<link rel='stylesheet' href='style.css' type='text/css' />
+<style>
+body {
+ font-family: sans-serif;
+}
+h1 {
+ font-size: 110%;
+ color: #096;
+}
+pre {
+ font-family: Bitstream Vera Sans Mono, monospace;
+}
+a {
+ text-decoration: none;
+ color: #096;
+ padding: 2px;
+}
+
+a:hover {
+ text-decoration: none;
+ background-color: #096;
+ color: white;
+}
+a:active {
+ text-decoration: none;
+ background-color: white;
+ color: black;
+}
+</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:40:37 UTC