Improved searching in online docs

[KoBeWi]

Online docs have some searching problems that make me rather search in Google than trying to do it directly there.

The thing that sets me back the most is that when you search anything in the search field and then click any result, it will enable highlighting of whatever you looked up. It's just annoying to have yellow-marked texts all over the place and I can't the only one who doesn't like it and doesn't find useful. At most, it should be optional.

Another thing is some better support for on-page searching. E.g. you go to Godot API page and try to find specific class with Ctrl + F. Instead of text on that page, the left panel will be highlighted first. This might not sound like useful example, but often you want to find specific thing in some class and trying to search anything puts you into long list at left panel. So either some option to search specific page should be provided or we should be able to hide the left panel when unnecessary. (or maybe do some magic, so Ctrl +F will look into the left panel as last option, instead of starting there)

[Calinou]

The thing that sets me back the most is that when you search anything in the search field and then click any result, it will enable highlighting of whatever you looked up. It's just annoying to have yellow-marked texts all over the place and I can't the only one who doesn't like it and doesn't find useful. At most, it should be optional.

I'm not sure if this can be controlled from our side, as Read the Docs does it by default. In the worst case, we could hide them by overriding the .highlighted selector with custom CSS.