The Search input field is always displayed and the search term already entered by default.

When opening a single result a search is automatically started with this search term. Then local hits on the page are marked in color and you can reach all occurrences with the Up and Down buttons.

Each hit is marked with a colored line on the scrollbar.