docs: upgrades to search.

Fix history navigation functionality.
Faster ajax requery while typing.
Ignore ENTER key when performing requery to avoid reload.
Improve results reveal with minimum height for proper div.

Change-Id: Ie50a6d7bdf58ad3e17dd15d30dcec973a123b7bf