The search functionality needs JavaScript enabled
update text highlighting based on current search text
void updateHighlight();