change w3.org logo src to https

Peter Linss · gsnedders · commit 2d671ebe4ea3 · 2018-04-14T22:35:53.000+02:00
diff --git a/css2/cover.html b/css2/cover.html
@@ -23,7 +23,7 @@
 
 <div class="head">
   <p><a href="http://www.w3.org/"><img alt="W3C" height="48"
-    src="http://www.w3.org/Icons/w3c_home" width="72"></a>
+    src="https://www.w3.org/Icons/w3c_home" width="72"></a>
 
   <h1 id="title">Cascading Style Sheets Level 2 Revision 1 (CSS&nbsp;2.1) Specification</h1>
   <h2 id="W3C-doctype">W3C Recommendation 07 June 2011, edited in place 12 April 2016 to point to new work</h2>
diff --git a/css2/cover.src b/css2/cover.src
@@ -8,7 +8,7 @@
 <body>
 <div class="head">
   <p><a href="http://www.w3.org/"><img alt="W3C" height="48"
-    src="http://www.w3.org/Icons/w3c_home" width="72"></a>
+    src="https://www.w3.org/Icons/w3c_home" width="72"></a>
 
   <h1 id="title">Cascading Style Sheets Level 2 Revision 1 (CSS&nbsp;2.1) Specification</h1>
   <h2 id="W3C-doctype">W3C _THE_STATUSNAME_ _THE_DATE_, edited in place 12 April 2016 to point to new work</h2>
