var currentFontSize = 12;

function changeFontSize(sizeDifference){

	currentFontSize = parseFloat(currentFontSize) + parseFloat(sizeDifference);
	//alert("Curent Font Size: " + currentFontSize.toString());


	//if(currentFontType == 1){

		if(currentFontSize > 16){

			currentFontSize = 16;

		}else if(currentFontSize < 9){

			currentFontSize = 10;

		}

	/*}else{

		if(currentFontSize > 19){

			currentFontSize = 19;

		}else if(currentFontSize < 8){

			currentFontSize = 8;

		}

	}*/

	setFontSize(currentFontSize);

};

function setFontSize(fontSize){

	var stObj = document.getElementById('mainbody');
	
	if (!stObj)
		stObj = document.getElementById('mainbody');

	var newSize = fontSize.toString().substring(0, 3) + 'px';
	//alert("New Size: " + newSize);
	stObj.style.fontSize = newSize;	
};