Custom search input

This extension will attach events to an input element with a search role. If you have a custom search bar, make sure it has the search role:

<div role="search">
   <form action="search.html" method="get">
      <input type="text" name="q" placeholder="Search docs" />

Custom styles

If you want to change the styles of the search UI, you can do so by adding your custom stylesheet to your documentation.

Basic structure of the HTML which is generated for the search UI is given below for reference:

Show/Hide HTML