modified menu item highlighting; defined highlightMenuItem and unhighlightMenuItem functions in javascript