// Timed close menus 
var menuTimer;

function timedSwitch() { 
menuTimer = setTimeout("closeMenus()", 300); 
}

function closeMenus() {
document.getElementById('pubDec').className = 'hide';
}

function cancelHide() { clearTimeout(menuTimer); }


// Class switcher
function switcher(divID, classSwitch) { document.getElementById(divID).className = classSwitch; }