/**
* Will highlite a named Anker with a defined BG Color.
*
* NOTE: Not too generci. Limitations apply. Dark colors for bg might make text unreadable.
* Tools works with Ankers in the url only
*/
var currentActiveElt= "";
var defaultBGColor  = "white";
var defaultColor    = null;
var highliteBGColor = "#FFF0DD";
var highliteColor   = null;
var jump2it         = true;
function setHighliteDefaults(bgColDef, colDef, bgHiCol, hiCol)
{
  setHighliteDefaults(bgColDef, colDef, bgHiCol, hiCol, true);
}

function setHighliteDefaults(bgColDef, colDef, bgHiCol, hiCol, jump){
  jump2it         = jump==undefined ? true:jump;
  defaultBGColor  = bgColDef=!null ? bgColDef:defaultBGColor  ;
  defaultColor    = colDef  =!null ? colDef  :defaultColor    ;
  highliteBGColor = bgHiCol =!null ? bgHiCol :highliteBGColor ;
  highliteColor   = hiCol   =!null ? hiCol   :highliteColor   ;
}

function getHighlite(tag)
{
  document.writeln("<a id='"+tag+"' NAME='"+tag+"'></a>");
  /*if(location.href.indexOf("#"+tag) != -1) {
    document.writeln("<h2 class='headMiddleGrey'>");
  }else*/
    document.writeln("<h2 class='headMiddleGrey' style='color:red' id='XXX"+tag+"'>");
}

function lightn(val)
{
  var raute         = location.href.lastIndexOf("#"+val);
  var posFirstRaute = location.href.indexOf("#");
  var onlyRaute     = posFirstRaute == location.href.length;
  var cleanURL = posFirstRaute==-1 ? location.href:location.href.substring(0, posFirstRaute);
  //lert(jump2it + " / "+(raute != posFirstRaute));
  if(
      jump2it &&
      raute != posFirstRaute//another # is opart of ulr
     )
  {
    location.href = cleanURL+(onlyRaute ? "":"#")+val;
  }
  else if(!jump2it || raute!=-1){}
  else  location.href = cleanURL+"#"+val;

  liteDown();
  liteUp(val);
}

function liteUp(val)
{
  var elt = document.getElementById("XXX"+val);
  if(elt){
    elt.style.backgroundColor  = highliteBGColor;
    if(highliteColor)elt.style.color  = highliteColor;
    currentActiveElt = val;
  }

}
function liteDown()
{
  var elt = document.getElementById("XXX"+currentActiveElt);
  if(currentActiveElt){
    elt.style.backgroundColor = defaultBGColor ? defaultBGColor:"";
    elt.style.color  = defaultColor ? defaultColor:"";
  }
}
