function setNumericFontSize(aNumericFontSize){
	switch(aNumericFontSize){
		case 'xx-small': return 7.5;
		case 'x-small': return 10;
		case 'small': return 12;
		case 'medium': return 13.5;
		case 'large': return 18;
		case 'x-large': return 24;
		case 'xx-large': return 36;
		default: return 10;
	}
}



function setObjFontSize(obj, FontSize){
	var theObj = document.getElementsByTagName(obj);
	for(i=0;i<theObj.length;i++) {
		theObj[i].style.fontSize = FontSize + 'pt'
	}
}


function setFontSize(FontSize) {
	setObjFontSize('p', FontSize);
	setObjFontSize('span', FontSize);
	setObjFontSize('td', FontSize);
}