fix: spacing issue when search is disabled (#960)

Fixes #396.
This commit is contained in:
Henry Schreiner 2022-09-14 19:52:39 -04:00 committed by GitHub
parent 7cda88dfa3
commit 1043a34104
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -112,6 +112,8 @@ layout: table_wrappers
</div>
<div id="search-results" class="search-results"></div>
</div>
{% else %}
<div></div>
{% endif %}
{% include header_custom.html %}
{% if site.aux_links %}