function addEvent(obj, evType, fn){ 
 if (obj.addEventListener){ 
   obj.addEventListener(evType, fn, false); 
   return true; 
 } else if (obj.attachEvent){ 
   var r = obj.attachEvent("on"+evType, fn); 
   return r; 
 } else { 
   return false; 
 } 
}

addEvent(window, 'load', initActions);


height = 470;

// Browsercheck
var is_ie = false;

var agt=navigator.userAgent.toLowerCase();
is_ie = ((agt.indexOf("msie") != -1) && (agt.indexOf("opera") == -1));

function adjustSize(){
	if(is_ie){
		var myWidth = 648;
		document.getElementById("content").style.width = myWidth;
		document.getElementById("content").style.height = "100%";
		document.getElementById("breadcrumbs").style.width = myWidth;
	} else {
		//alert(window.outerHeight);
		//document.getElementById("navigation").style.height = window.outerHeigh;
		//height = window.innerHeight;
	}
}


function showLevel(level){
	document.getElementById(level).style.display = "block";
}

function hideLevel(level){
	document.getElementById(level).style.display = "none";
}

function changeColor(id){
	document.getElementById(id).style.backgroundColor = "#E6E68C";
	document.getElementById(id).firstChild.style.color = "#002BAF";
}

function resetColor(id){
	document.getElementById(id).style.backgroundColor = "#6A7B89";
	document.getElementById(id).firstChild.style.color = "white";
}

function doEvaluate() {
	try { 
		eval(document.getElementById('fun').value); 
	} catch(e) { 
		alert("Following error occurred:\n"+e); 
	}
}




function initActions() {
	return initActionsRec(document.getElementsByTagName("pre"), document.getElementsByTagName("pre").length-1);
}

function initActionsRec(elements, i) {
	if(i < 0)
		return;
	else {
		var code = this.innerHTML;
		elements.item(i).style.cursor = "pointer";

		if(elements.item(i).onclick != null)
			return initActionsRec(elements,i-1);
		elements.item(i).onclick = function() { 
			eval(this.innerHTML.replace(/&amp;&amp;/,"&&")); 
			};
		return initActionsRec(elements,i-1);
	}
}