// Refreshes Netscape when resized so that div get redrawn correctly
// Browser and Platform Detection
var agt=navigator.userAgent.toLowerCase(); 
var is_major = parseInt(navigator.appVersion); 
var is_minor = parseFloat(navigator.appVersion);

var is_nav  = ((agt.indexOf('mozilla')!=-1) && (agt.indexOf('spoofer')==-1) 
                && (agt.indexOf('compatible') == -1) && (agt.indexOf('opera')==-1) 
                && (agt.indexOf('webtv')==-1));
var is_nav2 = (is_nav && (is_major == 2)); 
var is_nav3 = (is_nav && (is_major == 3)); 
var is_nav4 = (is_nav && (is_major == 4)); 
var is_nav4up = (is_nav && (is_major >= 4)); 

var is_ie   = (agt.indexOf("msie") != -1);
var is_ie3  = (is_ie && (is_major < 4)); 
var is_ie4  = (is_ie && (is_major == 4) && (agt.indexOf("msie 5.0")==-1) ); 
var is_ie4up  = (is_ie  && (is_major >= 4)); 
var is_ie5  = (is_ie && (is_major == 4) && (agt.indexOf("msie 5.0")!=-1) ); 
var is_ie5up  = (is_ie  && !is_ie3 && !is_ie4); 

var is_mac = (agt.indexOf("mac")!= -1);

browserName = navigator.appName;

if (is_nav) {
	ouWidth = window.outerWidth;
	ouHeight = window.outerHeight;
	// A shorter interval can be used but may not work correctly if the resize takes
	// too long to happen.
	resz = window.setInterval('reloadOnResize()', 1500);
}

function reloadOnResize() {
	if (window.outerWidth != ouWidth || window.outerHeight != ouHeight) {
		document.location.reload();
	}
}