--- a/publish/processing.js	Tue May 28 15:15:10 2013 +1000
+++ b/publish/processing.js	Fri Jun 14 08:14:36 2013 +1000
@@ -67,7 +67,7 @@
   } else {
     href = '//www.w3.org/StyleSheets/TR/' + href;
     if (conf.maturity != 'ED') {
-      href = 'http:' + href;
+      href = 'https:' + href;
     }
   }
   doc.head.appendChild(utils.parse('<link rel="stylesheet" href="{{href}}" type="text/css" media="screen"/>',