diff options
Diffstat (limited to 'doc/_themes/sphinx13/layout.html')
| -rw-r--r-- | doc/_themes/sphinx13/layout.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/_themes/sphinx13/layout.html b/doc/_themes/sphinx13/layout.html index afab3693b..8010517a6 100644 --- a/doc/_themes/sphinx13/layout.html +++ b/doc/_themes/sphinx13/layout.html @@ -32,7 +32,7 @@ {%- block content %} <div class="document"> <div class="sphinxsidebar" role="navigation" aria-label="main navigation"> - {%- include "searchbox.html" %} + {%- include "searchfield.html" %} <div class="sphinxsidebar-navigation__contents"> <h3>{{ _('On this page') }}</h3> {{ toc }} |