// Fix Navigator 4/CSS resize bug
// Script ©1995-2002 Eric A. and Kathryn S. Meyer
// http://www.meyerweb.com/eric/articles/webrev/199904.html

	NS4 = document.layers;
	if (NS4) {
		 origWidth = innerWidth;
		 origHeight = innerHeight;
	}
function reDo() {
	if (innerWidth != origWidth || innerHeight != origHeight)
		 location.reload();
}
if (NS4) onresize = reDo;