// SETFONT FUNCTION
var font_size = 1; //base font-size
var font_size_MAX = 1.4;
var font_size_MIN = 0.8;

function setFontLarger()
{
	font_size = font_size + 0.2;
	if (font_size > font_size_MAX)
	{
		font_size = font_size_MAX;
	}
	SetFontSize();
}

function setFontSmaller()
{
	font_size = font_size - 0.2;
	if (font_size < font_size_MIN)
	{
		font_size = font_size_MIN;
	}
	SetFontSize();
}

function SetFontSize() {
	var oDoc = document.getElementById("pagecontent");
	if (oDoc)
		oDoc.style.fontSize = font_size + "em";
	}