Add DocSearch support

[gregberge]

Copy the following snippet at the end of the html HEAD tag:

Copy the following snippet at the end of the html BODY tag: <script type="text/javascript" src="https://cdn.jsdelivr.net/npm/docsearch.js@2/dist/cdn/docsearch.min.js"> </script><script type="text/javascript"> docsearch({ apiKey: '8af841e0e92503e41b8acf3c9f0dab19', indexName: 'smooth-ui', inputSelector: '### REPLACE ME ###', debug: false // Set debug to true if you want to inspect the dropdown }); </script> Add a search input in your page if you don't have any yet. Then update the inputSelector value to a CSS selector that targets your search input field. Optionally customize the look and feel by following our styling guide. Check your configuration in our GitHub repository. Please open a pull request if want to leverage your configuration.