<!-- hide this script from old browsers

//this part overcomes lack of min-height support in IE

var ie = (document.all);
if (ie) {
	document.write('<style type="text/css">#content{height: 702px;}</style>');
}

//these two functions change the image border to green when hovered over
function change_border(imgNum) {
	var imgRef = document.getElementById(imgNum);
	imgRef.style.borderColor="lime";
	imgRef.style.borderWidth="4px";
	imgRef.style.borderStyle="ridge";
	imgRef.style.marginLeft="4px";
	imgRef.style.marginRight="4px";
	imgRef.style.marginBottom="0px";
	imgRef.style.marginTop="0px";
	}
	
function change_borderback(imgNum) {
	var imgRef = document.getElementById(imgNum);
	imgRef.style.borderColor="black";
	imgRef.style.borderWidth="2px";
	imgRef.style.borderStyle="solid";
	imgRef.style.marginLeft="6px";
	imgRef.style.marginRight="6px";
	imgRef.style.marginBottom="2px";
	imgRef.style.marginTop="2px";
}
// done hiding from old browsers -->
