W3C home > Mailing lists > Public > public-css-commits@w3.org > October 2011

csswg/css3-exclusions Exclusions.src.html,1.8,1.9 Overview.html,1.8,1.9

From: Vincent Hardy via cvs-syncmail <cvsmail@w3.org>
Date: Thu, 27 Oct 2011 01:13:56 +0000
To: public-css-commits@w3.org
Message-Id: <E1RJEXc-00034Z-UK@lionel-hutz.w3.org>
Update of /sources/public/csswg/css3-exclusions
In directory hutz:/tmp/cvs-serv11795

Modified Files:
	Exclusions.src.html Overview.html 
Log Message:
Made alternate style default

Index: Overview.html
===================================================================
RCS file: /sources/public/csswg/css3-exclusions/Overview.html,v
retrieving revision 1.8
retrieving revision 1.9
diff -u -d -r1.8 -r1.9
--- Overview.html	27 Oct 2011 01:09:01 -0000	1.8
+++ Overview.html	27 Oct 2011 01:13:54 -0000	1.9
@@ -9,7 +9,7 @@
   <link href=default.css rel=stylesheet type="text/css">
   <link href="http://www.w3.org/StyleSheets/TR/W3C-ED.css" rel=stylesheet
   type="text/css">
-  <link disabled href=alternate-spec-style.css id=st rel=stylesheet
+  <link href=alternate-spec-style.css id=st rel=stylesheet
   title="additional spec styles" type="text/css">
   <script src=style-toggle.js type="text/javascript"></script>
 

Index: Exclusions.src.html
===================================================================
RCS file: /sources/public/csswg/css3-exclusions/Exclusions.src.html,v
retrieving revision 1.8
retrieving revision 1.9
diff -u -d -r1.8 -r1.9
--- Exclusions.src.html	27 Oct 2011 01:09:01 -0000	1.8
+++ Exclusions.src.html	27 Oct 2011 01:13:54 -0000	1.9
@@ -8,7 +8,7 @@
 
 
   <link id="st" href="alternate-spec-style.css" rel="stylesheet" 
-      type="text/css" disabled title="additional spec styles">             
+      type="text/css" title="additional spec styles">             
         
         <script type="text/javascript" src="style-toggle.js"></script>
 
Received on Thursday, 27 October 2011 01:13:58 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 27 October 2011 01:13:58 GMT