// These functions are for dynamic font resizing (so the user doesn't have to
//   reload his/her page).

var size = parseFloat( "1" );

function alter_font( direction )
{
	if( "larger" == direction )
	{
		size += 0.125;
		if( size > 3 ) size = 3;
	}
	else
	{
		size -= 0.125;
		if( size < 0.5 ) size = 0.5;
	}

	document.body.style.fontSize = size + "em";

	var uri = "/fontsize.php?fontsize=";
	var xreq = GetXmlHttpObject();
	xreq.open( "GET", uri + direction, true );
	xreq.send( null );
}


function init_sizers()
{
	var fsobj = getElementById( "fontsizing" );
	if( ! fsobj || ! document.getElementsByTagName ){ return; }
	var fslinks = fsobj.getElementsByTagName( "a" );

	var arrExp, fstr, rexp = /[?&]fontsize=(\w+)(?=&|$)/i;
	for( var i = 0; i < fslinks.length; i++ )
	{
		arrExp = rexp.exec( fslinks[i].href );
		if( arrExp && ( 1 < arrExp.length ) )
		{
			fstr = 'function(){ alter_font( "' + arrExp[1] + '" ); return false; }';
			eval( "fslinks[i].onclick = " + fstr );
		}
	}
}

addLoadEvent( init_sizers );