//function navButtonOver(element)
//{
//    if (element)
//    {
//        if (element.id != selectedTab)
//            element.className = 'hover nav-button';
//    }
//
//}
//
//function navButtonOut(element)
//{
//    if (element)
//    {
//        if (element.id == selectedTab)
//            element.className = 'selected nav-button';
//        else
//            element.className = 'nav-button';
//    }
//}

function setSelected(element)
{
    el = document.getElementById(element);
    if (el) { el.className = 'selected nav-button';}
}