respec https
authorTom De Nies <tom.denies@ugent.be>
Tue, 19 Feb 2013 09:46:14 +0100
changeset 5578 8f177cba5c16
parent 5577 bac6ce25c7c6
child 5579 0d2bab75e3b3
respec https
dictionary/prov-dictionary.html
--- a/dictionary/prov-dictionary.html	Mon Feb 18 23:20:39 2013 +0000
+++ b/dictionary/prov-dictionary.html	Tue Feb 19 09:46:14 2013 +0100
@@ -11,9 +11,9 @@
 <script src="../model/provbib.js" class="remove"></script>
 <script src="../model/glossary.js" class="remove"></script>
 
-<script src="http://www.w3.org/Tools/respec/respec-w3c-common" class="remove" async></script> 
-
-<script src="http://ajax.googleapis.com/ajax/libs/jquery/1.7.1/jquery.min.js" class="remove"></script>
+<script src="https://www.w3.org/Tools/respec/respec-w3c-common" class="remove" async></script> 
+
+<script src="https://ajax.googleapis.com/ajax/libs/jquery/1.7.1/jquery.min.js" class="remove"></script>
 
 <style type="text/css">
       .note { font-size:small; margin-left:50px }
@@ -662,7 +662,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