diff options
author | Steve Dower <steve.dower@microsoft.com> | 2016-09-23 00:07:56 (GMT) |
---|---|---|
committer | Steve Dower <steve.dower@microsoft.com> | 2016-09-23 00:07:56 (GMT) |
commit | fb4a96a58fe0994f1d4b0328874a99376c25fc20 (patch) | |
tree | a1d394280d0b0813a06102a8c33d2fe27ce2fd1f /Doc/tools | |
parent | 208bbd29d355d98088d43becdd4f9b818f2ac798 (diff) | |
download | cpython-fb4a96a58fe0994f1d4b0328874a99376c25fc20.zip cpython-fb4a96a58fe0994f1d4b0328874a99376c25fc20.tar.gz cpython-fb4a96a58fe0994f1d4b0328874a99376c25fc20.tar.bz2 |
Issue #28251: Improvements to help manuals on Windows.
Diffstat (limited to 'Doc/tools')
-rw-r--r-- | Doc/tools/templates/layout.html | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/Doc/tools/templates/layout.html b/Doc/tools/templates/layout.html index 8923d9a..5c180e7 100644 --- a/Doc/tools/templates/layout.html +++ b/Doc/tools/templates/layout.html @@ -14,6 +14,7 @@ {% endblock %} {%- macro searchbox() %} {# modified from sphinx/themes/basic/searchbox.html #} + {%- if builder != "htmlhelp" %} <div class="inline-search" style="display: none" role="search"> <form class="inline-search" action="{{ pathto('search') }}" method="get"> <input placeholder="{{ _('Quick search') }}" type="text" name="q" /> @@ -23,11 +24,12 @@ </form> </div> <script type="text/javascript">$('.inline-search').show(0);</script> + {%- endif %} {%- endmacro %} {% block relbar1 %} {% if builder != 'qthelp' %} {{ relbar() }} {% endif %} {% endblock %} {% block relbar2 %} {% if builder != 'qthelp' %} {{ relbar() }} {% endif %} {% endblock %} {% block relbaritems %} - {%- if pagename != "search" and builder != "singlehtml" %} + {%- if pagename != "search" and builder != "singlehtml" and builder != "htmlhelp" %} <li class="right"> {{ searchbox() }} {{ reldelim2 }} @@ -36,6 +38,7 @@ {% endblock %} {% block extrahead %} <link rel="shortcut icon" type="image/png" href="{{ pathto('_static/py.png', 1) }}" /> + {% if builder != "htmlhelp" %} {% if not embedded %}<script type="text/javascript" src="{{ pathto('_static/copybutton.js', 1) }}"></script>{% endif %} {% if versionswitcher is defined and not embedded %}<script type="text/javascript" src="{{ pathto('_static/version_switch.js', 1) }}"></script>{% endif %} {% if pagename == 'whatsnew/changelog' and not embedded %} @@ -95,6 +98,7 @@ }); </script> {% endif %} + {% endif %} {{ super() }} {% endblock %} {% block footer %} |