--- a/Overview.html	Mon Dec 03 13:53:34 2012 +0900
+++ b/Overview.html	Sat Feb 16 10:30:48 2013 -0500
@@ -28,7 +28,7 @@
    table tbody th:first-child { border-left:solid }
    table td, table th { border-left:solid; border-right:solid; border-bottom:solid thin; vertical-align:top; padding:0.2em }
   </style>
-  <link href="http://www.w3.org/StyleSheets/TR/W3C-ED" rel="stylesheet">
+  <link href="https://www.w3.org/StyleSheets/TR/W3C-ED" rel="stylesheet">
   <link class="dontpublish" href="coverage/coverage.css" rel="stylesheet">
   <script class="dontpublish" src="https://ajax.googleapis.com/ajax/libs/jquery/1.8.2/jquery.min.js"></script>
   <script class="dontpublish" src="coverage/coverage.js"></script>

--- a/Overview.src.html	Mon Dec 03 13:53:34 2012 +0900
+++ b/Overview.src.html	Sat Feb 16 10:30:48 2013 -0500
@@ -30,7 +30,7 @@
    table tbody th:first-child { border-left:solid }
    table td, table th { border-left:solid; border-right:solid; border-bottom:solid thin; vertical-align:top; padding:0.2em }
   </style>
-  <link rel="stylesheet" href="http://www.w3.org/StyleSheets/TR/W3C-[STATUS]">
+  <link rel="stylesheet" href="https://www.w3.org/StyleSheets/TR/W3C-[STATUS]">
   <link class="dontpublish" href="coverage/coverage.css" rel="stylesheet">
   <script class="dontpublish" src="https://ajax.googleapis.com/ajax/libs/jquery/1.8.2/jquery.min.js"></script>
   <script class="dontpublish" src="coverage/coverage.js"></script>