/******************************************************************************
*
*	jumbodropdown.js
*
*	Created by S.G. 10-7-11
*
******************************************************************************/

// displays and hides jumbo drop down menus

function showNav(navID) {
    var e = document.getElementById(navID);
	e.style.display = 'block'; }

function hideNav(navID) {
    var e = document.getElementById(navID);
	e.style.display = 'none'; }