function changemysize(myvalue)
// this function is called by the user clicking on a text size choice
{
	// find the div to apply the text resizing to
	var div = document.getElementById("content-holder");
	// apply the text size change
	div.style.fontSize = myvalue + "%";
	// store the text size choice into a cookie
	document.cookie="mysize=" + myvalue;
}

function showHide(element)
{
	if ( element != null )
	{
		if ( element.style.display == 'none' )
		{
			element.style.display = 'block';
		}
		else
		{
			element.style.display = 'none';
		}
	}
}

function getmycookie(c_name)
{
	var i,x,y,ARRcookies=document.cookie.split(";");
	for (i=0;i<ARRcookies.length;i++)
	{
		x=ARRcookies[i].substr(0,ARRcookies[i].indexOf("="));
		y=ARRcookies[i].substr(ARRcookies[i].indexOf("=")+1);
		x=x.replace(/^\s+|\s+$/g,"");
		if (x==c_name)
		{
			return unescape(y);
		}
	}
	return null;
}

function mydefaultsize(){
	// this function is called by the body onload event
	// this function is used by all sub pages visited by the user after the main page
	var div = document.getElementById("content-holder");
	// call the function getmycookie() and pass it the name of the cookie we are searching for
	// if we found the cookie then
	if (getmycookie("mysize")>0)
	{
		// apply the text size change
		div.style.fontSize = getmycookie("mysize") + "%";
	}
}