// reload window if Navigator4 resizes
function ReloadPage(init)
{
  if (init == true)
  {
    if ((navigator.appName == "Netscape") && (parseInt(navigator.appVersion) == 4))
    {
      document.pm_oldWidth = window.innerWidth;
      document.pm_oldHeight = window.innerHeight;
      window.onresize = ReloadPage;
    }
  }
  else if (window.innerWidth != document.pm_oldWidth || window.innerHeight != document.pm_oldHeight)
    location.reload();
}
ReloadPage(true);

// return handle of an object in a given document
function FindObject(name, doc)
{
  var pos = name.indexOf("?"), i, x;
  if (!doc)
    doc = document;
  if (pos > 0 && parent.frames.length)
  {
    doc = parent.frames[name.substring(pos+1)].document;
    name = name.substring(0, pos);
  }
  handle = doc[name];
  if (!handle && doc.all)
    handle = doc.all[name];
  if (!handle && document.getElementById)
    handle = document.getElementById(name);
  for (i=0; !handle && doc.layers && i < doc.layers.length; i++)
    handle = FindObject(name, doc.layers[i].document);
  for (i=0; !handle && i < doc.forms.length; i++)
    handle = doc.forms[i][name];
  return handle;
}

//--- layer functions -----------------------------------------------

function ShowLayer(name)
{
  if (document.layers)
    if (document.layers[name])
      document.layers[name].visibility = "show";
    else if (parent.frames.length)
      if (parent.frames["contents"].document.layers[name])
        parent.frames["contents"].document.layers[name].style.visibility = "show";
//if(document.all)
//  if(document.all[name])
//    document.all[name].style.visibility="visible";
  if (document.getElementById)
    if (document.getElementById(name))
      document.getElementById(name).style.visibility = "visible";
    else if (parent.frames.length)
      if (parent.frames["contents"].document.getElementById(name))
        parent.frames["contents"].document.getElementById(name).style.visibility = "visible";
}

function HideLayer(name)
{
  if (document.layers)
    if (document.layers[name])
      document.layers[name].visibility = "hide";
    else if (parent.frames.length)
      if (parent.frames["contents"].document.layers[name])
        parent.frames["contents"].document.layers[name].style.visibility = "hide";
//if (document.all)
//  if (document.all[name])
//    document.all[name].style.visibility="hidden";
  if (document.getElementById) 
    if (document.getElementById(name))
      document.getElementById(name).style.visibility = "hidden";
    else if (parent.frames.length)
      if (parent.frames["contents"].document.getElementById(name))
        parent.frames["contents"].document.getElementById(name).style.visibility = "hidden";
}

//--- button functions ----------------------------------------------

var buttonsPressed = 0, activeLayer = "";

function HighlightButton(name)
{
  buttonsPressed += 1;
  var image = FindObject(name);
  if (image != null)
    image.src = "images/" + name + "_down.gif";
}

function LowlightButton(name)
{	
  var image = FindObject(name);
  if (image != null)
    image.src = "images/" + name + "_up.gif";
  setTimeout('DelayedClose(' + buttonsPressed + ')', 400);
}

function HighlightLayerButton(name)
{
  buttonsPressed += 1;
  if (activeLayer == name)
    return;

  var image = FindObject(name);
  if (image != null)
    image.src = "images/" + name + "_down.gif";
  if (activeLayer != "")
  {
    var oldImage = FindObject(activeLayer);
    if (oldImage != null)
      oldImage.src = "images/" + activeLayer + "_up.gif";
    HideLayer(activeLayer + "_layer");
  }
  ShowLayer(name + "_layer");
  activeLayer = name;
}

function LowlightLayerButton(name)
{
  setTimeout('DelayedClose(' + buttonsPressed + ')', 400);
}

function DelayedClose(buttons)
{
  if (buttons == buttonsPressed)
  {
    if (activeLayer != "")
    {
      var oldImage = FindObject(activeLayer);
      if (oldImage != null)
        oldImage.src = "images/" + activeLayer + "_up.gif";
      HideLayer(activeLayer + "_layer");
      activeLayer = "";
      buttonsPressed = 0;
    }
  }
}

function PreloadImages()
{
  var args = PreloadImages.arguments;
  if (document.images)
  {
    if (!document.pm_pics)
      document.pm_pics = new Array;
    var i, j = document.pm_pics.length;
    for (i = 0; i < args.length; i++)
      if (args[i].indexOf("#") != 0)
      {
        document.pm_pics[j] = new Image;
        document.pm_pics[j++].src = args[i];
      }
  }
}

PreloadImages("images/titellogo_down.gif");