1 files changed, 16 insertions, 0 deletions
diff --git a/docs/_templates/searchbox.html b/docs/_templates/searchbox.html
new file mode 100644
index 0000000000..407147ca30
--- /dev/null
+++ b/docs/_templates/searchbox.html
@@ -0,0 +1,16 @@
+<! -- This code is governed by the BSD license -->
+
+<div>
+   <h3>{{ _('Quick search') }}</h3>
+   <script>
+      (function() {
+         var cx = 'dd12886298f75dbef';
+         var gcse = document.createElement('script');
+         gcse.async = true;
+         gcse.src = 'https://cse.google.com/cse.js?cx=' + cx;
+         var s = document.getElementsByTagName('script')[0];
+         s.parentNode.insertBefore(gcse, s);
+      })();
+   </script>
+  <gcse:search></gcse:search>
+</div>