/* JavaScript für den Navigationskopf. */

// aktueller Modus
//  0 = Inhalt, 1 = Index, 2 = Suche
var curMode = 0;

// Setzt den aktuellen Modus und schaltet die entsprechenden html Elemente
function setMode(mode) {
    // alten Auswahl deaktivieren
    document.getElementById('navRadio' + curMode).src = 'images/radioOff.gif';
    document.getElementById('navImage' + curMode).src = 'images/nav' + curMode + 'Off.gif';
    document.getElementById('navInput' + curMode).style.display = 'none';
    
    // neue Auswahl setzen
    curMode = mode;
    document.getElementById('navRadio' + curMode).src = 'images/radioOn.gif';
    document.getElementById('navImage' + curMode).src = 'images/nav' + curMode + 'On.gif';
    document.getElementById('navInput' + curMode).style.display = 'block';
    
    // Rumpf aktualisieren
    top.navbody.setMode(mode);
}

// Führt die Indexsuche durch
function submitInput1() {
    var text = document.getElementById('navInput1Text').value;
    top.navbody.searchIndex(text);
}

// Führt die Volltextsuche durch
function submitInput2() {
    var text = document.getElementById('navInput2Text').value;
    top.navbody.searchText(text);
}
