/* fix the top level menu item */
function rootActiveInMenu() {
    if(document.getElementById("menu")) {
	var elmMenu = document.getElementById("menu");
    	var elmMenuItems = elmMenu.getElementsByTagName("a");
    	if (elmMenuItems.length > 0 && document.location.pathname.length <= 1) {
    		elmMenuItems[0].className = "act";
    	}
    }
}

function adjustMyFrameHeight(elemID) {

	this.getElement = function (aID) { return (document.getElementById) ? document.getElementById(aID) : document.all[aID] };

	this.getIFrameDocument = function (aID) {
		var rv = null; 
		var frame=getElement(aID);
		// if contentDocument exists, W3C compliant (e.g. Mozilla) 
		if (frame.contentDocument)
		    rv = frame.contentDocument;
		else // bad Internet Explorer  ;)
		    rv = document.frames[aID].document;
		return rv;
	}

	var padding = 40;
	var frame = this.getElement(elemID);
	var frameDoc = this.getIFrameDocument(elemID);
	frame.height = frameDoc.body.offsetHeight + padding;
}