Merge pull request #6394 from tk0miya/6387_search_on_haiku

Fix #6387: html search: failed to search document with haiku and scrolls themes
This commit is contained in:
Takeshi KOMIYA
2019-05-27 01:52:44 +09:00
committed by GitHub
3 changed files with 4 additions and 1 deletions

View File

@@ -123,6 +123,7 @@ Bugs fixed
* Generated Makefiles lack a final EOL (refs: #6232)
* #6375: extlinks: Cannot escape angle brackets in link caption
* #6378: linkcheck: Send commonly used User-Agent
* #6387: html search: failed to search document with haiku and scrolls themes
Testing
--------

View File

@@ -51,7 +51,7 @@
<div class="topnav" role="navigation" aria-label="top navigation">
{{ nav() }}
</div>
<div class="content">
<div class="content" role="main">
{#{%- if display_toc %}
<div id="toc">
<h3>{{ _('Table of Contents') }}</h3>

View File

@@ -42,7 +42,9 @@
{{ toc }}
</div>
{%- endif %}
<div role="main">
{% block body %}{% endblock %}
</div>
</div>
</div>
{% endblock %}