website/_includes/docsearch.html

{% comment %}
This is Algolia docsearch, search of the documentation. See https://community.algolia.com/docsearch/
Scripts are added in the en/docs/index.html page
{% endcomment %}

<div class="row">
  <div class="col-12 col-lg-6 push-lg-3 mb-4 search">
    <label class="search-label sr-only" for="algolia-doc-search">{{i18n.search_docs}}</label>
    <input class="search-input form-control" id="algolia-doc-search" type="search" placeholder="{{i18n.search_docs}}" />
  </div>
</div>