function nav_menu_activate (element){
element.className='nav_menu_active';
element.style.cursor='pointer'
}

function nav_menu_deactivate (element){
element.className='nav_menu_inactive';
element.style.cursor='default';
}