// JavaScript Document
// functions and utilities related to menu highlighting

highlightMenu('menu_item_home','menu');
collapseMenus();