function setFontSize(size) {
	if(size > 72.5 || size < 57.5) return;
	current_fontSize = size;
	//document.body.style.fontSize = size + "%";
	var oHTML = document.getElementsByTagName("HTML")[0];
		oHTML.style.fontSize = size + "%";
	createCookie("htmlFontSize", size, 7);
}

function increaseFontSize() {
	setFontSize(current_fontSize + 3);
}

function decreaseFontSize() {
	setFontSize(current_fontSize - 3);
}

//--------------------------------------------

function checkFontSize() {
	var cookie = readCookie("htmlFontSize");
	current_fontSize = parseFloat((cookie != null) ? cookie : "62.5");
	setFontSize(current_fontSize);
}

//--------------------------------------------

//addEvent(window, "load", checkFontSize);
checkFontSize();