<!--
// Elemente mit bestimmter Klasse ermitteln 
// optional auch per TagName einschränken (z.B. "DIV" statt "*")

function getElementByClass(select) {
  var alltags=document.all? document.all :document.getElementsByTagName("*")
  var messages = new Array();
  for (i=0; i < alltags.length; i++) {
    if (alltags[i].className==select) {
      messages.push(alltags[i]);
      return alltags[i];
    }
  }
}

// alle Elemente mit Klasse "tx-rgtabs-pi1" sichtbar machen
// diese wurden ja per CSS beim Laden der Seite auf "hidden" gesetzt:
// div#wrapper_marginal div.tx-rgtabs-pi1 {
//	visibility:hidden; 
// }

if (getElementByClass("tx-rgtabs-pi1")) {
  getElementByClass("tx-rgtabs-pi1").style.visibility="visible";
}
//-->