// JavaScript Document

window.onload = getTheDivHeight;

function getTheDivHeight () {
	var divheight = document.getElementById("mainContent").offsetHeight;
	document.getElementById("navbar").style.height = (divheight-20)+"px";
	}