// JavaScript Document

var size = 1;
var mySize = new Array("0", "88%", "100%", "110%")
/*
var mySize[0] = "0";
var mySize[1] = "88%";
var mySize[2] = "100%";
var mySize[3] = "110%";
*/
function upSize()
{
	if(size < 3)
	{
		size++;
		document.body.style.fontSize = mySize[size];
	}
}

function downSize()
{
	if(size > 1)
	{
		size--;
		document.body.style.fontSize = mySize[size];
	}
}