--- a/trig/index.html	Thu Apr 04 19:32:11 2013 +0200
+++ b/trig/index.html	Thu Apr 04 19:32:55 2013 +0200
@@ -56,7 +56,7 @@
 
 	  // if you want to have extra CSS, append them to this list
 	  // it is recommended that the respec.css stylesheet be kept
-	  extraCSS:             ["http://dev.w3.org/2009/dap/ReSpec.js/css/respec.css"],
+	  extraCSS:             ["https://dev.w3.org/2009/dap/ReSpec.js/css/respec.css"],
 
 	  // editors, add as many as you like
 	  // only "name" is required