function resizeUp() {	if(!document.getElementById('body-content').style.fontSize){		document.getElementById('body-content').style.fontSize = '110%';	} else {		var str_fontsize = document.getElementById('body-content').style.fontSize;		var num_fontsize = str_fontsize.substring(0,str_fontsize.length-1);		var num_newsize = num_fontsize * 1.1;		document.getElementById('body-content').style.fontSize = num_newsize + '%';			}	navBody = document.getElementById('body-content');	navRoot = navBody.getElementsByTagName("FONT");	for (i=0; i<navRoot.length; i++) {		node = navRoot[i];		if(!node.style.fontSize){			switch (node["size"]){			case "2":	var num_fontsize = 100;break;							case "":	var num_fontsize = 100;break;							case "4":	var num_fontsize = 140;break;							case "5":	var num_fontsize = 200;break;											case "6":	var num_fontsize = 240;break;										case "7":	var num_fontsize = 360;break;													}		}		else{			var str_fontsize = node.style.fontSize;			var num_fontsize = str_fontsize.substring(0,str_fontsize.length-1);		}		var num_newsize = num_fontsize * 1.1;		node.style.fontSize = num_newsize + '%';					}	     //this is to fix the unclosed p elements that Domino serves up			navRoot = navBody.getElementsByTagName("P");	for (i=0; i<navRoot.length; i++) {		node = navRoot[i];		if(!node.style.lineHeight){			node.style.lineHeight = "120%";		}		else{			var str_fontsize = node.style.lineHeight;			var num_fontsize = str_fontsize.substring(0,str_fontsize.length-1);			var num_newsize = num_fontsize * 1.1;			node.style.lineHeight = num_newsize + '%';						}	}			}function resizeDown() {	if(!document.getElementById('body-content').style.fontSize){		document.getElementById('body-content').style.fontSize = '91%';	} else {		var str_fontsize = document.getElementById('body-content').style.fontSize;		var num_fontsize = str_fontsize.substring(0,str_fontsize.length-1);		var num_newsize = num_fontsize * 0.91;		document.getElementById('body-content').style.fontSize = num_newsize + '%';			}	navBody = document.getElementById('body-content');	navRoot = navBody.getElementsByTagName("FONT");	for (i=0; i<navRoot.length; i++) {		node = navRoot[i];		if(!node.style.fontSize){			switch (node["size"]){			case "2":	var num_fontsize = 100;break;							case "":	var num_fontsize = 100;break;							case "4":	var num_fontsize = 140;break;							case "5":	var num_fontsize = 200;break;											case "6":	var num_fontsize = 240;break;										case "7":	var num_fontsize = 360;break;													}		}		else{			var str_fontsize = node.style.fontSize;			var num_fontsize = str_fontsize.substring(0,str_fontsize.length-1);		}		var num_newsize = num_fontsize * 0.91;		node.style.fontSize = num_newsize + '%';					}     //this is to fix the unclosed p elements that Domino serves up			navRoot = navBody.getElementsByTagName("P");	for (i=0; i<navRoot.length; i++) {		node = navRoot[i];		if(!node.style.lineHeight){			node.style.lineHeight = "120%";		}		else{			var str_fontsize = node.style.lineHeight;			var num_fontsize = str_fontsize.substring(0,str_fontsize.length-1);			var num_newsize = num_fontsize * 0.91;			node.style.lineHeight = num_newsize + '%';						}	}		}
