if (document.layers){
          originalWindowWidth = innerWidth;
          originalWindowHeight = innerHeight;
          onresize=function() { if(innerWidth != originalWindowWidth || innerHeight != originalWindowHeight) location.reload() };
}

if (is.win32 && is.ns4) {
//windows NS fixes
			document.tags.body.fontSize = '11px';
			document.tags.td.fontSize = '11px';
			document.tags.p.fontSize = '11px';
			document.tags.input.fontSize = '11px';
			
			document.classes.linkparks.all.fontSize = '11px';
			document.classes.fontbold.all.fontSize = '12px';
			document.classes.fontsmall.all.fontSize = '11px';
			document.classes.linksmall.all.fontSize = '11px';
			document.classes.linksmallbrown.all.fontSize = '11px';
}