Wie funktioniert das Highlighting?

Beim Seitenaufruf wird über JavaScript überprüft, wo in der Seite das als Wert des URL-Parameters 'highlight' übergebene Wort zu finden ist. Das zu durchsuchende Blockelement wird über die Variable 'wHighlightBlockRoot' in der design.js definiert. Die Treffer werden mit einem span-Tag und der Klasse 'wglHighlightWord' ergänzt.