// workaround for IE's lack of support for CSS 'max-width' attribute

function maxWidthIE(){ // slightly neater - no iteration through the DIVs
/*
var agt=navigator.userAgent.toLowerCase();
var is_ie = ((agt.indexOf("msie") != -1) && (agt.indexOf("opera") == -1));
if (is_ie == true){
	if(document.getElementsByTagName){
		window.onresize = new Function("window.location.reload()")
		var maxWidth = 985;
		var width;
		if (document.body.clientWidth > maxWidth){width = maxWidth + "px";}
		else{width = "auto";}
		document.body.style.width = width;
		} // end if 
	} // if is_ie
*/
} // end function