Mercurial > minori
view dep/fmt/doc/_templates/search.html @ 347:a0aa8c8c4307
dep/anitomy: port to use UCS-4 rather than wide strings
rationale: wide strings are not the same on every platform, and
might not even be Unicode. (while they usually are, its possible
that they are not)
I was *going* to change StringToInt to use a string stream, but
outputting to an integer doesn't seem to work at all with UCS-4,
even though it ought to, so I just rolled my own that uses the
arabic digits only.
author | Paper <paper@paper.us.eu.org> |
---|---|
date | Sun, 23 Jun 2024 10:32:09 -0400 |
parents | 1faa72660932 |
children |
line wrap: on
line source
{# basic/search.html ~~~~~~~~~~~~~~~~~ Template for the search page. :copyright: Copyright 2007-2015 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 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> {% 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> {{ searchform('form-inline', True) }} {% if search_performed %} <h2>{{ _('Search Results') }}</h2> {% 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 %}