Updated Sphinx documentation templates

Author: bengrunfeld

docs/theme/deis/search.html

@@ -0,0 +1,59 @@
+{#
+    basic/search.html
+    ~~~~~~~~~~~~~~~~~
+
+    Template for the search page.
+
+    :copyright: Copyright 2007-2013 by the Sphinx team, see AUTHORS.
+    :license: BSD, see LICENSE for details.
+#}
+{%- extends "layout.html" %}
+{% set title = _('Search') %}
+{% set script_files = script_files + ['_static/searchtools.js'] %}
+{% block extrahead %}
+  <script type="text/javascript">
+    jQuery(function() { Search.loadIndex("{{ pathto('searchindex.js', 1) }}"); });
+  </script>
+  {# this is used when loading the search index using $.ajax fails,
+     such as on Chrome for documents on localhost #}
+  <script type="text/javascript" id="searchindexloader"></script>
+  {{ super() }}
+{% endblock %}
+{% block body %}
+  <h1 style="display:none;" id="search-documentation">{{ _('Search') }}</h1>
+  <div id="fallback" class="admonition warning">
+  <script type="text/javascript">$('#fallback').hide();</script>
+  <p>
+    {% trans %}Please activate JavaScript to enable the search
+    functionality.{% endtrans %}
+  </p>
+  </div>
+  <p style="display:none;">
+    {% 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 %}
+  </p>
+  <form action="" method="get" style="display:none;">
+    <input type="text" name="q" value="" />
+    <input type="submit" value="{{ _('search') }}" />
+    <span id="search-progress" style="padding-left: 10px"></span>
+  </form>
+  {% if search_performed %}
+    <h1>{{ _('Search Results') }}</h1>
+    {% if not search_results %}
+      <p>{{ _('Your search did not match any documents. Please make sure that all words are spelled correctly and that you\'ve selected enough categories.') }}</p>
+    {% endif %}
+  {% endif %}
+  <div id="search-results">
+  {% if search_results %}
+    <ul>
+    {% for href, caption, context in search_results %}
+      <li><a href="{{ pathto(item.href) }}">{{ caption }}</a>
+        <div class="context">{{ context|e }}</div>
+      </li>
+    {% endfor %}
+    </ul>
+  {% endif %}
+  </div>
+{% endblock %}

docs/theme/deis/searchbox.html

@@ -7,7 +7,7 @@
     :copyright: Copyright 2007-2013 by the Sphinx team, see AUTHORS.
     :license: BSD, see LICENSE for details.
 #}
-{%- if pagename != "search" %}
+
 <div id="searchbox" style="display: none">
   <!-- <h3>{{ _('Search') }}</h3> -->
     <form class="search" action="{{ pathto('search') }}" method="get">
@@ -21,4 +21,3 @@
     </p>
 </div>
 <script type="text/javascript">$('#searchbox').show(0);</script>
-{%- endif %}

docs/theme/deis/searchresults.html

@@ -1,6 +1,6 @@
 {#
-    deis/searchresults.html
-    ~~~~~~~~~~~~~~~~~~~~~~~
+    basic/searchresults.html
+    ~~~~~~~~~~~~~~~~~~~~~~~~
 
     Template for the body of the search results page.
 
@@ -18,7 +18,7 @@ <h1 id="search-documentation">{{ _('Search') }}</h1>
   <span id="search-progress" style="padding-left: 10px"></span>
 </form>
 {%- if search_performed %}
-  <h2>{{ _('Search Results') }}</h2>
+  <h1>{{ _('Search Results') }}</h1>
   {%- if not search_results %}
   <p>{{ _('Your search did not match any documents. Please make sure that all words are spelled correctly and that you\'ve selected enough categories.') }}</p>
   {%- endif %}