var tags = new Array( 'div','td','tr','p','b','table','strong','emphasis','a','i','th','ul','ol','li');

function fontSizer(size) {
	if (!document.getElementById) 
		return;
	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 = size+'px';
	}
}