diff --git a/manual/templates/search.html b/manual/templates/search.html index 519c2356dd..0cbff5d03a 100644 --- a/manual/templates/search.html +++ b/manual/templates/search.html @@ -9,10 +9,6 @@ #} {% extends "layout.html" %} {% set title = _('Search') %} -{% block extrahead %} - - {{ super() }} -{% endblock %} {% block body %}

{{ _('Search') }}

@@ -23,26 +19,11 @@

- {% trans %}From here you can search these documents. Enter your search - words into the box below and click "search". Note that the search - function will automatically search for all of the words. Pages - containing fewer words won't appear in the result list.{% endtrans %} + {% trans %}From here you can search the User Manual. Enter your search + words into the box below and click "search". + {% endtrans %}

-
Loading
- - + {% endblock %} diff --git a/manual/templates/searchbox.html b/manual/templates/searchbox.html index ecb04297ea..499672921c 100644 --- a/manual/templates/searchbox.html +++ b/manual/templates/searchbox.html @@ -1,13 +1,11 @@ {%- if pagename != "search" and builder != "singlehtml" %} -