// JavaScript Document

function selectAll(theField) 
{
	var tempval=eval(theField)
	tempval.focus()
	tempval.select()
}

function setFontSize(fontSize){
	var stObj = (document.getElementById) ? document.getElementById('body') : document.all('Content');
	if (stObj)
	{
		alert('test');
		stObj.style.fontSize = fontSize + 'px';
	}
};

var currentFontSize = 12;
function defaultTxt(){
	currentFontSize = 12;
	changeTxt(0);
	}

function changeTxt(sizeDifference){
	currentFontSize = parseInt(currentFontSize) + parseInt(sizeDifference);
	if(currentFontSize > 14){
		currentFontSize = 14;
	}else if(currentFontSize < 11){
			currentFontSize = 11;
	}
	setFontSize(currentFontSize);
};