Improved documentation search

We've dramatically improved the search in our documentation section to make it easier to find help when you need it.