diff options
Diffstat (limited to 'mkdocs-material/material/header.html')
| -rw-r--r-- | mkdocs-material/material/header.html | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/mkdocs-material/material/header.html b/mkdocs-material/material/header.html index f910b5b8..1dcd62b7 100644 --- a/mkdocs-material/material/header.html +++ b/mkdocs-material/material/header.html @@ -34,9 +34,12 @@ <a href="https://github.com/{{ author }}" title="@{{ author }} on GitHub" target="_blank" class="toggle-button icon icon-github"></a> </div> {% endif %} + {% if config.extra.disablesearch %} + {% else %} <div class="button button-search" role="button" aria-label="Search"> <label class="toggle-button icon icon-search" title="Search" for="toggle-search"></label> </div> + {% endif %} </div> <div class="bar search"> <div class="button button-close" role="button" aria-label="Close"> @@ -51,4 +54,4 @@ <button class="toggle-button icon icon-close" id="reset-search"></button> </div> </div> -</nav>
\ No newline at end of file +</nav> |