1.10.1.7.2. Help (F1): Marked search terms in search result

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

When you open a hit, a search is automatically started with the search term. The local hits on the page are highlighted in color and you can use Up and Down to display all occurrences.

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