// JavaScript Document
/**
 * Handles mouse over and mouse out on menus.
 */
function changeClass(id, theClass) {
        document.getElementById(id).className = theClass;
}