
// menu depliant
function menu_change(caller, id) {
	var ul = document.getElementById(id);
	if (ul && ul.className) {
		if (ul.className=='affiche') {
			ul.className='cache';
			caller.className='close';
		} else {
			ul.className='affiche';
			caller.className='open';
		}
	}
}
function menu_change_all(type) {
	var menu = document.getElementById('menuspip');
	divs = menu.getElementsByTagName('DIV');
	for (var i=0,stop=divs.length; i<stop; i++) {
		var nom = divs[i].getAttribute('name');
		if (nom && divs[i].className!=type) menu_change(divs[i],nom);
	}
}
