function init()
{
  setTimeout(hideNavi, 100);
  if (document.getElementById("navbarBtn"))
    document.getElementById("navbarBtn").onmouseover = showNavi;
  if (document.getElementById("navbarBtnTop"))
    document.getElementById("navbarBtnTop").onmouseover = hideNavi;
  if (document.getElementById("navbarBtnBottom"))
    document.getElementById("navbarBtnBottom").onmouseover = hideNavi;
  // make sure to jump to anchor (image)
//  document.location.href = document.location.href;
}

function hideNavi()
{
  if (document.getElementById("navbar"))
    document.getElementById("navbar").style.visibility = "hidden";
}

function showNavi()
{
  if (document.getElementById("navbar"))
    document.getElementById("navbar").style.visibility = "visible";
}

function showLoginDlg()
{
  setDlgState("loginRequest", "hidden");
  setDlgState("loginbox", "visible");
}

function showLoginRequestDlg()
{
  setDlgState("loginbox", "hidden");
  setDlgState("loginRequest", "visible");
}

function closeLoginThankYouDlg()
{
  setDlgState("loginThankYou", "hidden");
}

function setDlgState(id, state /*visible|hidden*/)
{
  if (document.getElementById(id))
    document.getElementById(id).style.visibility = state;
}