function setSidebarHeight()
{
	var minHeight = document.getElementById("navigation").offsetHeight + document.getElementById("extra").offsetHeight;
	var contentHeight = document.getElementById('content').offsetHeight;
	document.getElementById("sidebar").style.height = ((contentHeight < minHeight) ? minHeight : contentHeight) + "px";
}