// javascript funktionen die mit Layer und Ebenen zu tun haben

// funktioniert nur, wenn über "style" d. Eigenschaften gesetzt wurden.
// über class ... gehts nicht.
function toggle_layer( layerID ){
  
	var mylay = document.getElementById(layerID);

	myStyle = mylay.style;	

	if  ( myStyle.visibility == 'visible' ){
	    myStyle.visibility = 'hidden';
	    myStyle.display = 'none';
	} else {
	    myStyle.visibility = 'visible';
	    if (myStyle.display == 'none' ) myStyle.display = "block"; 	
	}
	
}