Add a search feature to the docs #2
Description
Add a search bar feature to the top navigation bar for the documentation to make it easier to find specific things.
Use the docusaurus guide for reference: https://docusaurus.io/docs/search
{{ message }}