function divroll(obj,color,bColor)
{
  obj.style.backgroundColor = color;
  obj.style.borderLeftColor = bColor;
}


function linkTo(dest)
{
  if(dest=="dummy")
  {
    document.forms[0].reset();
    document.forms[0].elements[0].blur();
    return;
  }
  else
  {
    location.href=dest;
    return;
  }
}

function lauftext()
{
  document.getElementById("lauftext").value = ltxt;
  ltxt = ltxt.substring(1, ltxt.length) + ltxt.substring(0, 1);
  window.setTimeout("lauftext()", 250);
}


/*
BITV konformes Oeffnen eines Links in einem neuen Fenster
http://www.barrierefreies-webdesign.de/knowhow/pop-up-fenster
*/
var externerLinkText = "Externer Link";
var textNeuesFenster = "(neues Fenster)";
function titleAnpassen(linkObjekt)
{
  if (linkObjekt.getAttribute)
  {
    textAlt = linkObjekt.getAttribute("title");
    if(textAlt && textAlt.indexOf(textNeuesFenster) == -1)
    {
       textZusatz = textAlt.substring((textAlt.indexOf(externerLinkText)) + externerLinkText.length, textAlt.length);
       linkObjekt.setAttribute("title", externerLinkText + " " + textNeuesFenster + textZusatz);
    }
  }
}

// Evil Hack um im IE min-width zu ersetzen...
function checkWidth()
{
  if (document.all && document.body.offsetWidth < 900)
  {
    document.getElementsByTagName("body")[0].style.width = "56em";
  }
}