// Funktionen für die Reiterkarten-Tabelle, z.B. Literatur-Suche


function change(on,off) {
 show(on);
 hide(off);
}


function show(reiter) {
 if(document.getElementById)
   document.getElementById(reiter).style.visibility = "visible";
//   document.getElementById(reiter).style.display = "inline";
}


function hide(reiter) {
 if(document.getElementById)
   document.getElementById(reiter).style.visibility = "hidden";
//   document.getElementById(reiter).style.display = "none";
}