// JavaScript Document
function SetTopMargin ()
{
    var theDiv1 = document.getElementById("primary");
	var heightRight = theDiv1.offsetHeight;
	var theDiv2 = document.getElementById("content");
	var heightLeft = theDiv2.offsetHeight;
	var diff = heightRight - heightLeft;
	if(diff>=0) 
	{
		if( document.getElementById('nav-below')) document.getElementById('nav-below').style.marginTop =  (diff+100).toString() + "px";
		else document.getElementById('content').style.marginBottom =  (diff+100).toString() + "px";
	}
	if (!document.getElementById('nav-below')) {
    	document.getElementById('content').style.marginBottom =  (70).toString() + "px";
	}
}