/* 
This toggles an element visibility and diplay
to visible or hidden
*/
function toggleVisible( elname ){
	var el = document.getElementById( elname );
	var isvisible = ( el.style.visibility == 'hidden' ) ? true : false;
	
	el.style.visibility = isvisible ? 'visible' : 'hidden';
	el.style.display = isvisible ? 'inline' : 'none';
}

function changeToOverColor( el ){
	//alert( 'Over' );
	document.getElementById( 'header_' + el ).style.background = '#eee';
}

function changeToOutColor( el ){
	//alert( 'Over' );
	document.getElementById( 'header_' + el ).style.background = '';
}