// JavaScript Document

//Menu de navigation gauche

function navigation(menu, over) {
    if (over == 1) {
        if (menu.tagName == 'DIV') {
            menu.className = 'niveau1_select';
        } else if (menu.tagName == 'LI') {
            menu.className = 'select';
        } 
    } else {
        if (menu.tagName == 'DIV') {
            menu.className = 'niveau1';
        } else if (menu.tagName == 'LI') {
            menu.className = '';
        } 
    }            
}