// Codice per visualizzare/nascondere i dettagli nel menu laterale.

function clikker(a,b,c) {
		if (a.style.display =='') {
				a.style.display = 'none';
				b.src='/images/collapsed.gif';
				c.style.background='#333333';
		}
		else {
				a.style.display='';
				b.src='/images/espanded.gif';
				c.style.background='#6A0000';
		}
}