/*
 * gestione "Flexline menu javascript"
 * Trovata in modules/mod_mainmenu_helper.php
 */
function show_menu(link) {
    var parent = link.parentNode;
    var tempclass = parent.className;
    var parentParent = parent.parentNode;
    var firstchildren = parentParent.childNodes;
    for(i=0; i<firstchildren.length; i++) {
		firstchildren[i].className = firstchildren[i].className.replace("active", ""); 
	}
	if (!(tempclass.indexOf("active") > -1)) {
		parent.className = parent.className + " active ";
	}	
}