function getCookie(name) {

        var nameOfCookie = name + "=";
        var x = 0
        while ( x <= document.cookie.length ) {
        var y = (x+nameOfCookie.length);
        if ( document.cookie.substring( x, y ) == nameOfCookie ) {
                if ( (endOfCookie=document.cookie.indexOf( ";",y )) == -1 )
                endOfCookie = document.cookie.length;
                return unescape( document.cookie.substring(y, endOfCookie ) );
        }
                x = document.cookie.indexOf( " ", x ) + 1;
                if ( x == 0 )
                        break;
        }

        return "";
}

function setCookie(name, value, expiredays) {
	var todayDate = new Date();
	todayDate.setDate( todayDate.getDate() + expiredays );
	document.cookie = name + "=" + escape( value ) + "; path=/; expires=" + todayDate.toGMTString() + ";"
}

function setFont(article_fontsize) {
	var article_lineheight = 20
	if (article_fontsize > 10)
		article_lineheight = article_lineheight + article_fontsize - 9;
		
	document.getElementById("article_body").style.fontSize = article_fontsize+"pt";
	document.getElementById("article_body").style.lineHeight = article_lineheight +"px";
	setCookie("article_fontsize", article_fontsize , 1);
}

var article_fontsize = parseInt(getCookie("article_fontsize"));

function initFont() {
	if ((article_fontsize < 10) || (article_fontsize > 18) || (isNaN(article_fontsize) == true)) {
		article_fontsize = 11;
	}    
	setFont(article_fontsize);
}

function fontPlus() {
	if (article_fontsize < 17) {
		article_fontsize = article_fontsize + 1;
		setFont(article_fontsize);
	}
}
    
function fontMinus() {
	if (article_fontsize > 9) {
		article_fontsize = article_fontsize - 1;
		setFont(article_fontsize);
	}
}