// JavaScript Document
function fixDivHeights() {

	var navElem = document.getElementById("MainNav");
	var bodyElem = document.getElementById("MainBody");

	if (navElem && bodyElem) {
		var navHeight;
		var bodyHeight;
		navHeight = navElem.offsetHeight;
		bodyHeight = bodyElem.offsetHeight;
		// Get the heights of each element whichever is greater set the other one to it		
		navHeight > bodyHeight ? bodyElem.style.height = navHeight + "px" : navElem.style.height = bodyHeight + "px";
	}
}