//Lines 2-14 check to see if they are using IE.
var detect = navigator.userAgent.toLowerCase();
var OS,browser,version,total,thestring;

if (checkIt('msie')) browser = "Internet Explorer"
else browser = "An unknown browser";
if (!version) version = detect.charAt(place + thestring.length);

function checkIt(string)
{
	place = detect.indexOf(string) + 1;
	thestring = string;
	return place;
}


//The sidebar height function itself.
function setSidebarHeight() {
	var contentElement=document.getElementById('content');
	var contentHeight=contentElement.offsetHeight;
	var sidebarElement=document.getElementById('sidebar');
	if (browser == "Internet Explorer")	 {
		sidebarElement.style.height=((contentHeight-'40'))+'px';
		}
	else {
		sidebarElement.style.minHeight=((contentHeight-'40'))+'px';
	}
}

window.onload = function() {
	setSidebarHeight();
	}