Hide the search box on any "singlehtml" like builder (#975)

- This applies to the RTD builders readthedocssinglehtml
  and readthedocssinglehtmllocalmedia

Co-authored-by: Aaron Carlisle <carlisle.b3d@gmail.com>
This commit is contained in:
David Fischer
2020-11-27 22:59:59 -08:00
committed by GitHub
parent e2b10425ef
commit 24ceb6d93d

View File

@@ -1,4 +1,4 @@
{%- if builder != 'singlehtml' %}
{%- if 'singlehtml' not in builder %}
<div role="search">
<form id="rtd-search-form" class="wy-form" action="{{ pathto('search') }}" method="get">
<input type="text" name="q" placeholder="{{ _('Search docs') }}" />