Remarque: après avoir sauvegardé, vous devez vider le cache de votre navigateur pour que les changements prennent effet. Mozilla, cliquez sur Actualiser (ou ctrl-r). Internet Explorer / Opera: ctrl-f5. Safari: cmd-r. Konqueror ctrl-r.

var nbLignesMax=8;
var NavigationBarHide = 'Enrouler';
var NavigationBarShow = 'Dérouler';

for (var i=0;i<aOnloadFunctions.length;++i){
    if(aOnloadFunctions[i]==createNavigationBarToggleButton){ 
        aOnloadFunctions[i]=function rien(){};
    }
}



// adds show/hide-button to navigation bars
function createNavigationBarToggleButtonPerso()
{
    var indexNavigationBar = 0;
    var max = new Array();
    // iterate over all <div>-elements
    for(
            var i=0; 
            NavFrame = document.getElementsByTagName("div")[i]; 
            i++
        ) {
        // if found a navigation bar
        if (NavFrame.className == "NavFrame") {

            Element=NavFrame.getElementsByTagName("div")[1]; //navContent
            max[indexNavigationBar]=0;
            for(
                var k=0; 
                colonne = Element.getElementsByTagName("table")[0].getElementsByTagName("tr")[0].getElementsByTagName("td")[k]; // For each column
                k++){

                    var lignes=0;
	            for(
        	        var m=0;
	                ul=colonne.getElementsByTagName("ul")[m];
        	        m++){
                                for(
        	                    var n=0;
	                            ul=colonne.getElementsByTagName("li")[n];
        	                    n++){
                                    lignes=lignes+1;
                                }
			}
	            for(
        	        var m=0;
	                p=colonne.getElementsByTagName("p")[m];
        	        m++){
				lignes++;
			}
		if (lignes>max[indexNavigationBar]){max[indexNavigationBar]=lignes;}
            }
            indexNavigationBar++;
	    if (max[indexNavigationBar-1]>nbLignesMax){
	
            var NavToggle = document.createElement("a");
            NavToggle.className = 'NavToggle';
            NavToggle.setAttribute('id', 'NavToggle' + indexNavigationBar);
            NavToggle.setAttribute('href', 'javascript:toggleNavigationBar(' + indexNavigationBar + ');');

            var NavToggleText = document.createTextNode(NavigationBarHide);
            NavToggle.appendChild(NavToggleText);

            // add NavToggle-Button as first div-element 
            // in <div class="NavFrame">
            NavFrame.insertBefore(
                NavToggle,
                NavFrame.firstChild
            );
            NavFrame.setAttribute('id', 'NavFrame' + indexNavigationBar);
        	}
	}
    }
    // if more Navigation Bars found than Default: hide all
    if (NavigationBarShowDefault < indexNavigationBar) {
        for(
                var i=1; 
                i<=indexNavigationBar; 
                i++
        ) {
	    if (max[i-1]>nbLignesMax){
                toggleNavigationBar(i);
	    }
	}
    }

}

aOnloadFunctions[aOnloadFunctions.length] = createNavigationBarToggleButtonPerso;