jrnl/docs_theme/main.html
Jonathan Wren d4ca29ed2c
Fix broken search bar in docs site (#1135)
* Fixes for search on docs site

We previously didn't include the search results page in our CI testing,
so we missed some issues on that page. This ensures that page is part of
regular testing, and also includes fixes for the issues present.

* fix sidebar contrast
2021-01-02 12:24:21 -08:00

12 lines
454 B
HTML

{% extends "base.html" %}
{%- block search_button %}
{% if 'search' in config['plugins'] %}
<div role="search">
<form id ="rtd-search-form" class="wy-form mkdocs-search" action="{{ base_url }}/search.html" method="get">
<input type="text" name="q" placeholder="Search docs" title="Type search term here" />
<button class="icon icon-search" aria-label="submit"></button>
</form>
</div>
{% endif %}
{%- endblock %}