function setHeight() {
	document.getElementById('navigation').style.minHeight = document.getElementById('content').offsetHeight + 'px';
}