// set this var to match the name of the layer you want to check.
var layertoCheck = "article_tools";

function fixNetscapeCSS() 
	{
	// a netscape bug makes layers lose their css positioning when the browser is
	// resized. check if that's happened here, if it has, reload the document to
	// fix the the page layout.

	current_width = document.layers[layertoCheck].document.width;
	current_height = document.layers[layertoCheck].document.height;

	if (current_width != start_width || current_height != start_height)
		{
		location.reload();
		}
	}

if (document.layers) 
	{
	// if the browser is netscape, assign the "onresize" handler to execute the fix function.

	onresize = fixNetscapeCSS;
	}