Add a button to Hide Search Matches highlights

[jeremy-feng]

I hope that there will be a button that can hide search matches highlights. I saw this feature from Jupyter book.

[squidfunk]

Jup, this is coming at some point when we tackle #4125, there's already a prototype for better search result navigation.

[jeremy-feng]

Thank you! Looking forward to trying it out.