[css2] change w3.org logo src to https

Peter Linss · gsnedders · commit 1147361b10dd · 2018-05-15T14:45:33.000+01: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 2 (CSS&nbsp;2.2) Specification</h1>
   <h2 id="W3C-doctype">W3C Editors Draft 27 April 2018</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 2 (CSS&nbsp;2.2) Specification</h1>
   <h2 id="W3C-doctype">W3C _THE_STATUSNAME_ _THE_DATE_</h2>
