// DON'T CHANGE THIS script...it is used across multiple service user interfaces!
// This script is from http://serviceportal.wamnet.com/scripts/setWidth.js

// Maintains a minimum width even on Internet Explorer

function P7_limit(a,b){
	//v1.1.2 by PVII-www.projectseven.com
	document.p7limit=a;
	document.p7min=b;
	if(document.getElementById&&navigator.appVersion.indexOf("MSIE")>-1&&!window.opera){
		if(window.attachEvent){
			window.attachEvent("onresize",P7_setMinWidth);
			window.attachEvent("onload",P7_setMinWidth);
		}else{
			onload=P7_setMinWidth;
			onresize=P7_setMinWidth;
		}
	}
}

P7_limit('pageWrapper',1000);

function P7_setMinWidth(){
	//v1.1.2 by PVII-www.projectseven.com
	var cw,w,pl,pr,ml,mr,br,bl,ad,theDiv=document.p7limit;
	var g=document.getElementById(theDiv);
	w=parseInt(document.p7min);
	if(g&&document.body&&document.body.clientWidth){
		gs=g.currentStyle;
		cw=parseInt(document.body.clientWidth);
		pl=parseInt(gs.paddingLeft);
		pr=parseInt(gs.paddingRight);
		ml=parseInt(gs.marginLeft);
		mr=parseInt(gs.marginRight);
		bl=parseInt(gs.borderLeftWidth);
		br=parseInt(gs.borderRightWidth);
		ml=ml?ml:0;
		mr=mr?mr:0;
		pl=pl?pl:0;
		pr=pr?pr:0;
		bl=bl?bl:0;
		br=br?br:0;
		ad=pl+pr+ml+mr+bl+br;
		if(cw<=w){
			w-=ad;
			g.style.width=w+"px";
		}else{
			g.style.width="auto";
		}
	}
}