Feature Request: search function in docs

[rs7q5]

Any chance you could add a search function to the docs. I have been playing around with it, but realized it also has some design implications on your end of the docs, and haven't found a good way of doing it since I haven't played around with react too much.

Through some googling, algolia instantsearch may be a good option, but I don't know too much about the best way to go about this. I think if a search function that could link to either pages or sections/subsections of the docs in the results that would be helpful.

Thanks!

[rs7q5]

And/or if the headings of the markdown file could be expanded on the nav bar (if optionally) like subheadings or something when you are on a current page that would also be nice, particularly if there is no search function.