https

diff --git a/docs/index.html b/docs/index.html
index ba7efc3e19bbb97f7347ac421b8d1b3988247239..048cf1a76d3e4af0aea6a994cc3c2d317897a11c 100644 (file)
--- a/docs/index.html
+++ b/docs/index.html
@@ -38,7 +38,7 @@
 <table style="border: 1px solid rgb(153, 153, 204);"><tbody><tr><td>
 
 <!-- SiteSearch Google -->
-<form action="http://www.google.fr" id="cse-search-box">
+<form action="https://www.google.com" id="cse-search-box">
   <div>
     <input type="hidden" name="cx" value="partner-pub-1071905880519467:6430131597" />
     <input type="hidden" name="ie" value="UTF-8" />
@@ -47,7 +47,7 @@
   </div>
 </form>
 
-<script type="text/javascript" src="http://www.google.fr/coop/cse/brand?form=cse-search-box&amp;lang=en"></script>
+<script type="text/javascript" src="https://www.google.fr/coop/cse/brand?form=cse-search-box&amp;lang=en"></script>
 <!-- SiteSearch Google -->
 
 </td></tr></tbody></table>