2fb2e962bc
* Move site search to use an endpoint * Update browser.js * Update search.js * Update lib/search/versions.js Co-authored-by: James M. Greene <JamesMGreene@github.com> * Fix URLs Co-authored-by: James M. Greene <JamesMGreene@github.com>
11 lines
223 B
HTML
11 lines
223 B
HTML
<!--
|
|
This form is used in two places:
|
|
|
|
- On the homepage, front and center
|
|
- On all other pages, in the header
|
|
-->
|
|
|
|
<div id="search-input-container" aria-hidden="true">
|
|
<!-- will add a search input here -->
|
|
</div>
|