/*
	Reload Netscape if it has been resized.
	Netscape 4 loses it's CSS variables (and some other stuff) when resized.
*/
if ((navigator.appName == 'Netscape') && (parseInt(navigator.appVersion) == 4))
{
	function resizeCheck()
	{
		if (!document.resizeCheckSum)
		{
			document.resizeCheckSum = window.innerWidth + window.innerHeight;
		}
		else if ( window.innerWidth + window.innerHeight != document.resizeCheckSum )
		{
			location.href = location.href;
		}
	}
	resizeCheck();
	window.onresize = resizeCheck;
}