diff --git a/doc/en/_templates/localtoc.html b/doc/en/_templates/localtoc.html
index 25d56cad0..83af3aa88 100644
--- a/doc/en/_templates/localtoc.html
+++ b/doc/en/_templates/localtoc.html
@@ -1,16 +1,3 @@
-
-{%- if pagename != "search" %}
-<div id="searchbox" style="display: none">
-    <form class="search" action="{{ pathto('search') }}" method="get">
-      <input type="text" name="q" size="18" />
-      <input type="submit" value="{{ _('Search') }}" />
-      <input type="hidden" name="check_keywords" value="yes" />
-      <input type="hidden" name="area" value="default" />
-    </form>
-</div>
-<script type="text/javascript">$('#searchbox').show(0);</script>
-{%- endif %}
-
 <h3>quicklinks</h3>
 <div style="text-align: left; font-size: 100%; vertical-align: middle;">
 <table>
diff --git a/doc/en/_templates/searchbox.html b/doc/en/_templates/searchbox.html
index e69de29bb..4fd92f369 100644
--- a/doc/en/_templates/searchbox.html
+++ b/doc/en/_templates/searchbox.html
@@ -0,0 +1,11 @@
+{%- if pagename != "search" %}
+<div id="searchbox" style="display: none">
+    <form class="search" action="{{ pathto('search') }}" method="get">
+      <input type="text" name="q" size="18" />
+      <input type="submit" value="{{ _('Search') }}" />
+      <input type="hidden" name="check_keywords" value="yes" />
+      <input type="hidden" name="area" value="default" />
+    </form>
+</div>
+<script type="text/javascript">$('#searchbox').show(0);</script>
+{%- endif %}