/*
 * button.js - JS Funktionen fuer die Animation der Buttons
 */

/*
 * function preloadImages() - laedt die Bilder fuer die Buttons zum austauschen
 */

  function preloadImages() {
    if (BrowserOK) {
      var global_Image_Path = "/images/global/";
      ButtonNormal = new Image(159,49);
      ButtonNormal.src = global_Image_Path + "button-zurueck.jpg";

      ButtonHighlight = new Image(159,49);
      ButtonHighlight.src = global_Image_Path + "button-zurueck-aktiv.jpg";

      EintragNormal = new Image(159,49);
      EintragNormal.src = global_Image_Path + "button-eintrag.jpg";

      EintragHighlight = new Image(159,49);
      EintragHighlight.src = global_Image_Path + "button-eintrag-aktiv.jpg";

      imgOK=true;
    }
  }

/*
 * function hiLite(imgDocID,imgObjName) - laedt ein Bild zum HiLite
 */

  function hiLite(imgDocID,imgObjName) {
    if (BrowserOK) {
      if (imgOK) {
        document.images[imgDocID].src = eval(imgObjName + ".src");
      }
    }
  else return;
  }

/*
 * Ende
 */