// JavaScript Document

document.write("<div id=\"toolbox\"><div id=\"tools\"><div id=\"toolbutton\"><a href=\"javascript:boxOpenClose();\"><img src=\"_links/tool_icon.gif\" alt=\"toolbox\" width=\"29\" height=\"23\" style=\"border:none\"  /></a></div><div id=\"toolitems\"><a href=\"javascript:boxOpenClose();\">Toolbox</a>&nbsp;&nbsp;&nbsp;<a href=\"index.html\">Home</a>|<a href=\"javascript:window.print();\">Print</a>|<a href=\"javascript:increaseFontSize();\">Increase Font</a>|<a href=\"javascript:decreaseFontSize();\">Decrease Font</a></div></div></div>");

document.getElementById("toolbox").style.width = areawidth+"px";
document.getElementById("tools").style.marginLeft = (areawidth-91)+"px";

function boxOpenClose() {
	var StartPoint = areawidth -91;
	var EndPoint = areawidth -355;
	var elem = document.getElementById("tools");
	elem.currentPoint = StartPoint;
	elem.moveSpeed = 0;
	if(elem.boxOpen){
		elem.currentPoint = EndPoint;
		elem.boxOpen = false;
	} else {
		elem.currentPoint = StartPoint;
		elem.boxOpen = true;
	}
	
	elem.widthChangeMemInt = window.setInterval(
		function() { 
			if(elem.moveSpeed < 20){
				elem.moveSpeed += 2;	
			}
			if(elem.boxOpen){
				elem.currentPoint -= elem.moveSpeed;
				if(elem.currentPoint <= EndPoint){
					elem.currentPoint = EndPoint;
					window.clearInterval(elem.widthChangeMemInt);
				}
			} else {
				//alert(elem.currentPoint);
				elem.currentPoint += elem.moveSpeed;
				if(elem.currentPoint >= StartPoint){
					elem.currentPoint = StartPoint;
					window.clearInterval(elem.widthChangeMemInt);
				}
			}
			elem.style.marginLeft = elem.currentPoint+"px";										  
		}
	, 20)
	
}