// ################
// javascript utils  
// ################


// mouse over effects for menus
// ----------------------------

function mouseover(element){
	element.className = "menu over";
}
        
function mouseout(element){
	element.className = "menu";
}