<!--
var tags = new Array ('span');
var pixelArray = new Array ('10','11','12','14','16');
var emArray = new Array ('0.9','1.0','1.5','2.0');
var initSize = 1;

function fontSizer(inc,unit) {
	if (!document.getElementById) 
		return;
	var size = initSize;
		size += inc;
	if (size < 0) {
		size = 0;
	}
	if (size > 4) {
		size = 4;
	}
	initSize = size;
	getBody = document.getElementsByTagName('body')[0];
	for (i = 0 ; i < tags.length ; i++ ) {
		getallTags = getBody.getElementsByTagName(tags[i]);
	for (k = 0 ; k < getallTags.length ; k++) 
		getallTags[k].style.fontSize = (unit=='px') ? pixelArray[size]+unit: emArray[size]+unit;
	}
}
-->