// Function to add functions to handle the onload event
// without overwriting the previously specified functions.
function addLoadEvent(func) {
	if(typeof window.onload == "function") {
		var oldFunc = window.onload;
		window.onload = function() {
			oldFunc();
			func();
		}
	} else {
		window.onload = func;
	}
}


function initMenu() {
	var subnavObj = document.getElementById('current_subnav');
	var auxnavObj = document.getElementById('auxnav');
	var h = subnavObj? parseInt(document.getElementById('current_subnav').offsetHeight)+30 : 15;
	auxnavObj.style.paddingTop = h + 'px';
	auxnavObj.style.visibility = 'visible';
}


addLoadEvent(initMenu);