Add filter to docs TOC

[natalie-bernhard]

Allow users to filter article titles in the TOC using text input. Originally requested by @ayoho .

[natalie-bernhard]

Possible alternative: provide Expand All button for TOC to expand all nested sections, so users could use page search (Ctrl + F) to find TOC titles with keywords

[natalie-bernhard]

Possible alternative: provide Expand All button for TOC to expand all nested sections, so users could use page search (Ctrl + F) to find TOC titles with keywords

This approach is not a solution. We will implement a text input filter.

[natalie-bernhard]

As the user types in a filter query, remove titles from the TOC that do not match the query, similar to the function of the filter on the guides page. See if reusing code from guides filter is possible. If title matching query is nested, show in TOC expanded under it's parent topics.

[natalie-bernhard]

Design:

Important Notes:

• Search bar color: #EEEFF3
• Search bar font: Asap
• Corner radius for rectangle: 3

[SteveSamJacob19]

It would be good to keep the filter bar visible even during scrolling just like the version dropdown, so that it can be accessed anytime

[ayoho]

Changes made for this are exactly what I was hoping for. Thank you!