/*
This javascript will reload a page in Netscape when the user resizes the page.
It's a work-around for a Netscape bug that ignores external style sheets on resize.
*/
if (document.layers) {
	origWidth = innerWidth;
	origHeight = innerHeight;
	}
function reloadPage() {
	if (innerWidth != origWidth || innerHeight != origHeight)
		location.reload();
	}
if (document.layers) onresize = reloadPage;