HTML5 seems to have a function that marks the results of a search in the scroll bar. Is there a way to use these scrollbar highlights without a search? I have a number of large HTML documents, in which a number of terms are highlighted in different colours. It would be great if the location of these highlighted terms could be signaled on the scrollbar, in the same way search results are indicated, in order to make browsing through these documents easier. Does anyone have an idea how to do this? Thanks!