Support "filter by title" on the left navigation of documentation

**Is your feature request related to a problem? Please describe.**

Searching the table of contents can help users locate the doc they want to find more quickly and easily.
