//------ ShowTip (): ------------
var Schermbreedte
if (window.innerWidth)
{
  Schermbreedte = window.innerWidth;
}
else if (document.body.clientWidth)
{
  Schermbreedte = document.body.clientWidth;
}
else if (document.documentElement.clientWidth)
{
  Schermbreedte = document.documentElement.clientWidth;
}
Schermbreedte = parseInt (Schermbreedte);

function ShowTip (Tekst, Speciaal)
{
  if (Tekst == "")
  {
    HideTip();
    return;
  }

  Tooltip = document.getElementById("divTooltip");
  Tooltip.innerHTML = Tekst;

  var DeltaLinks  = 16;
  var DeltaRechts = 14;
  var DeltaVert   = 14;

  var Tooltip = document.getElementById("divTooltip");
  var x1 = parseInt (Muispositie.x);
  var y1 = parseInt (Muispositie.y);
  var Br = parseInt (Tooltip.clientWidth);
  if (Br == "auto")
  {
    Br = 0;
  }
  var Ho = parseInt (Tooltip.clientHeight);
  if (Ho == "auto")
  {
    Ho = 0;
  }

  Tooltip.style.left = String(Math.min (x1 + DeltaRechts, Schermbreedte - Br - 25)) + "px";
//  Tooltip.style.top = String(Math.max (y1 - Ho - DeltaVert, 10)) + "px";
  if (y1 - Ho - DeltaVert > 10)                                       // Past hij nog boven muiscursor?
  {
    Tooltip.style.top = String(y1 - Ho - DeltaVert) + "px";           // Zo ja, dan boven plaatsen
  }
  else
  {
    Tooltip.style.top = String (y1 + DeltaVert) + "px";               // Anders onder plaatsen
  }
  Tooltip.style.color           = "#000000";
  Tooltip.style.borderColor     = "#608040";
  Tooltip.style.backgroundColor = "#F0FFE0";
  Tooltip.style.fontWeight      = "normal";
  if ( (typeof (Speciaal) == "string") &&
       (Speciaal == "chapter"        )    )
  {
    Tooltip.style.color           = "#C10010";
    Tooltip.style.borderColor     = "#C10010";
    Tooltip.style.backgroundColor = "#FFFF80";
    Tooltip.style.fontWeight      = "bold";
  }
  Tooltip.style.visibility = 'visible';

}    // "TipPositioneren ()"

//------ HideTip(): -------------------
function HideTip ()
{
  var Tooltip = document.getElementById ("divTooltip");
  Tooltip.innerHTML        = "";
  Tooltip.style.visibility = "hidden";
  Tooltip.style.left       = "0px";
  Tooltip.style.top        = "0px";

}    // "HideTip"

//-----------------------------------------