// Browser detect, looking only NS6
var isNS6 = false;
var userAgent = navigator.userAgent.toLowerCase();
if (userAgent.indexOf("netscape6") != -1) isNS6 = true;

var fontSize = 110;
var fMax = 150;
var fMin = 90;
/*
	setFontSize
*/

function setFontSize()
{
	var tempSize = getCookie("fontSize");
	if(tempSize!=null && tempSize>=90 && tempSize<=150)
	{
		fontSize = tempSize;
	}
	document.body.style.fontSize = fontSize + "%";
}


/*
	changeFontSize is an internal/private function
	controls how much the font is increased by and
	limits fontsize changes
*/
function changeFontSize(increment)
{

	if(increment)
		fontSize+=10;
	else
		fontSize-=10;

	if(fontSize>=fMax)
		fontSize = fMax;
	if(fontSize<fMin)
		fontSize = fMin;

	switch(fontSize){
		case 90:
			document.body.style.fontSize = "10px";
			break;		
		case 100:
			document.body.style.fontSize = "11px";
			break;
		case 110:
			document.body.style.fontSize = "12px";
			break;
		case 120:
			document.body.style.fontSize = "13px";
			break;
		case 130:
			document.body.style.fontSize = "14px";
			break;	
		case 140:
			document.body.style.fontSize = "15px";
			break;			
		case 150:
			document.body.style.fontSize = "16px";
			break;							
		default:
	}
	setCookie("fontSize",fontSize,"","/");
	if (isNS6) window.location.reload();
}


function incrementFontSize()
{
	changeFontSize(true);
}


function decrementFontSize()
{
	changeFontSize(false);
}

function resetFontSize()
{
var fontSize = 110;
			document.body.style.fontSize = "12px";
}
/**
 * Sets a Cookie with the given name and value.
 *
 * name       Name of the cookie
 * value      Value of the cookie
 * [expires]  Expiration date of the cookie (default: end of current session)
 * [path]     Path where the cookie is valid (default: path of calling document)
 * [domain]   Domain where the cookie is valid
 *              (default: domain of calling document)
 * [secure]   Boolean value indicating if the cookie transmission requires a
 *              secure transmission
 */
function setCookie(name, value, expires, path, domain, secure)
{
    document.cookie= name + "=" + escape(value) +
        ((expires) ? "; expires=" + expires.toGMTString() : "") +
        ((path) ? "; path=" + path : "") +
        ((domain) ? "; domain=" + domain : "") +
        ((secure) ? "; secure" : "");
}


/**
 * Gets the value of the specified cookie.
 *
 * name  Name of the desired cookie.
 *
 * Returns a string containing value of specified cookie,
 *   or null if cookie does not exist.
 */
function getCookie(name)
{
    var dc = document.cookie;
    var prefix = name + "=";
    var begin = dc.indexOf("; " + prefix);
    if (begin == -1)
    {
        begin = dc.indexOf(prefix);
        if (begin != 0) return null;
    }
    else
    {
        begin += 2;
    }
    var end = document.cookie.indexOf(";", begin);
    if (end == -1)
    {
        end = dc.length;
    }
    return unescape(dc.substring(begin + prefix.length, end));
}