Update Documentation - Filtering

[Dinkh]

The top left SearchField filters the documentation, but

• I would prefer to have those folder be hidden, which do not contain a result
• Those folder with a result should show child folder, but close them
• If the folder does not match, but a leaf child, siblings should be hidden

[tobiu]

sounds good to me.