function onoff () 
{
	if (document.getElementById("copyarea").style.visibility == "visible")
	{
		document.getElementById("copyarea").style.visibility = "collapse";
		document.getElementById("copyarea").style.height = "0px";
	}
	else
	{
		document.getElementById("copyarea").style.visibility = "visible";
		document.getElementById("copyarea").style.height = "500px";
	}
}

/*
function jumpto2 () 
{
	var line = 1 * document.getElementById("linenr").value;
	
	document.location = "#jassline_" + line;
	window.scrollTo(0, 0);

}
function jumpto () 
{
	var line = 1 * document.getElementById("linenr").value;
	
	document.location = "#jassline_" + line;
	window.scrollTo(0, 0);
	
	//stupid IE && Firefox :
	//if(typeof document.all=='object'){ 
		document.getElementById("linenr").focus();
		document.getElementById("linenr").value = document.getElementById("linenr").value; //lol
	//}
}
function wait_jumpto () 
{
	window.setTimeout("jumpto()", 100);
}
*/

var old_node = null;

function view_line(line)
{
	
	if (old_node != null)
	{
		old_node.setAttribute("class", "normal_line");
	}
	if ((line-1)*2 < document.getElementById("code").childNodes.length)
	{
		var scrollX = 0;
	    var scrollY = 0;
		if (window.pageXOffset)
			scrollX = window.pageXOffset;
		if (window.pageYOffset)
			scrollY = window.pageYOffset;
		var node = document.getElementById("code").childNodes[(line-1)*2];
	    node.scrollIntoView();
		node.setAttribute("class", "highlight_line");
	    window.scrollTo(scrollX,scrollY);
		old_node = node;
	}
}

 function jumpto2 () 
{
	var line = 1 * document.getElementById("linenr").value;
	
	view_line(line)
	
}
function jumpto () 
{
	var line = 1 * document.getElementById("linenr").value;
	
	view_line(line)
	//document.location = "#jassline_" + line;
	//window.scrollTo(0, 0);
	
	//stupid IE && Firefox :
	//if(typeof document.all=='object'){ 
		document.getElementById("linenr").focus();
		document.getElementById("linenr").value = document.getElementById("linenr").value; //lol
	//}
}
function wait_jumpto () 
{
	window.setTimeout("jumpto()", 100);
}