// Dieses Script regelt ob und wann ein Untermenü angezeigt wird.
function showPullDown(divname)
{
document.getElementById('pd_' + divname).style.visibility='visible';
document.getElementById('menue').style.zIndex=20;
}

function hidePullDown(divname)
{
document.getElementById('pd_' + divname).style.visibility='hidden';
document.getElementById('menue').style.zIndex=1;
}