// JavaScript Document

var currentFontSize = 12;
function changeFontSize(sizeDifference){
	currentFontSize = parseInt(currentFontSize) + parseInt(sizeDifference);
		if(currentFontSize > 16){
			currentFontSize = 16;
		}else if(currentFontSize < 8){
			currentFontSize = 8;
		}
	setFontSize(currentFontSize);
}


function setFontSize(fontSize){
	var stObj = (document.getElementById) ? document.getElementById('mainDiv') : document.all('mainDiv');
	stObj.style.fontSize = fontSize + 'px';
}