function fontPatch(){
	if (document.body) {
		if ( navigator.userAgent.indexOf("Gecko/") > -1 ) {
			if ( document.defaultView.getComputedStyle(document.body,"").getPropertyValue("font-size") == "14px" ){
				document.styleSheets[0].insertRule("body,th,td {font-size: 16px}",document.styleSheets[0].cssRules.length);
			}
		}
	}
	else {
		setTimeout("fontPatch()",100);
	}
}

if ( navigator.userAgent.indexOf("Gecko/") > -1 ) fontPatch();