Fixes and improvements to "Tipue" search thingy.

Docker-DCO-1.1-Signed-off-by: O.S. Tezer <ostezer@gmail.com> (github: ostezer)
Merge pull request #5171 from ostezer/mkdocs-fix-new-js-search

Fixes and improvements to the "Tipue" search thingy.