Search

[jamesknelson]

The documentation website needs search functionality, probably built using Algolia.

The UI should be relatively easy - just put a search box at the top of the sidebar (below the brand).

As for building an index, it should be possible given that Navi lets us easily build a site map, and given that the site is set up to allow Demoboards to be rendered as text by changing context. It's just a matter of actually implementing it.