Use anchors and styles instead of Javascript to handle highlighting.