DocSearch

The easiest way to add search to your documentation