<!-- espande elementi per Geshi-->
<!-- nome elemento, nome link, altezza -->
function expand_element_geshi(idEl, lValue, height) {
	var ele=document.getElementById(idEl);

	if (ele.style.height=='auto') {
		ele.style.height=height;
		lValue.innerHTML='Expand';
	} else {
		ele.style.height='auto';
		lValue.innerHTML='Collapse';
	}
}