function resizeNav() {
	
    var menus = (document.all) ? getElementsByClassName('submenu'):document.getElementsByClassName('submenu');
    var newHeight = 200;
    for (i=0;i<menus.length;i++) {
        if (document.getElementById(menus[i].id).offsetHeight > subnavHeight) {
	    document.getElementById(menus[i].id).style.maxHeight = newHeight + "px";
	}
    }
}