// --- text sizing functions 
// --- by Tony Landicho 6/3/2009
// requires the following css files:
// cnprc_default.cs,
// cnprc_font1.cs,cnprc_font2.cs,cnprc_font3.cs
// cnprc_font-1.cs,cnprc_font-2.cs,cnprc_font-3.cs
// 
// --- variables ---
var min = -3;
var max = 3;
var f_prfx = "cnprc_";
// --- functions ---
    function TextUpSize() {
        changeCss(1);
    }
    function TextDownSize() {
        changeCss(-1);
    }
    function changeCss(step) {
        var cssfile = document.styleSheets[0].href.toString();

        if (cssfile.indexOf(f_prfx) == 0)
            return;
        cssfile = cssfile.substr(cssfile.indexOf(f_prfx));

        //get current idx
        var idx = 0;
        if (cssfile != f_prfx + "default.css")
            idx = parseInt(cssfile.substr(10),10);
        // calculate new idx
        idx = idx + parseInt(step,10);
        // determine new cssfile
	
        if (idx == 0)
            cssfile = f_prfx + "default.css";
        else
        {
            if (idx <= max && idx >= min)
                cssfile = f_prfx + "font" + idx.toString() + ".css";
        }
        document.styleSheets[0].href = "\\" + cssfile;

        writeCookie(f_prfx + "css", cssfile, 365);
    }    
// -------- end text sizing -------
// -------- css loading -----
    function loadCss()
    {
        var cssfile = readCookie(f_prfx + "css");
        if (cssfile.length == 0)
            return;
        document.styleSheets[0].href = "\\" + cssfile;
    }
// -------- end css loading -----
// -------- cookie handling -----
function writeCookie(name,value,days) {
	if (days) {
		var date = new Date();
		date.setTime(date.getTime()+(days*24*60*60*1000));
		var expires = "; expires="+date.toGMTString();
	}
	else var expires = "";

	document.cookie = name+"="+value+expires+"; path=/";
}


function readCookie(name) {
	var nameEQ = name + "=";
	var ca = document.cookie.split(';');
	for(var i=0;i < ca.length;i++) {
		var c = ca[i];
		while (c.charAt(0)==' ') 
		    c = c.substring(1,c.length);
		if (c.indexOf(nameEQ) == 0) 
		    return c.substring(nameEQ.length,c.length);
	}
	return null;
}


function deleteCookie(name) {
	writeCookie(name,"",-1);
}

// -------- end cookie handling -----