var currentFontSize='small';

function setFontSizeUp(){
	if (currentFontSize=='xx-small')
		changeFontSize('x-small')
	else if (currentFontSize=='x-small')
		changeFontSize('small')
	else if (currentFontSize=='small')
		changeFontSize('medium')
	else if (currentFontSize=='medium')
		changeFontSize('large');
};

function setFontSizeDown(){
    if (currentFontSize=='large')
		changeFontSize('medium')
	else if (currentFontSize=='medium')
		changeFontSize('small')
	else if (currentFontSize=='small')
		changeFontSize('x-small')
	else if (currentFontSize=='x-small')
		changeFontSize('xx-small');
};

function changeFontSize(fontSize){
    var stObj = document.getElementsByTagName('body')[0];
	stObj.style.fontSize = fontSize;
	currentFontSize=fontSize;
};