if (!window.$) {
      window.$ = function(id) { return document.getElementById(id); }
    }
    // we have to render the bottom first because we need to exist JUST ONE DIV
    // for getElementsByTagName and rendering top will insert loads of them ...
    if (document.getElementById("split4"))
	{
    splitBorderBottom.render($('split4').getElementsByTagName('div')[0]);
    splitBorderTop.render($('split4').getElementsByTagName('h1')[0]);
	}
    var tabs = $('tabs').getElementsByTagName("li");
  for (var i=0; i < tabs.length; ++i) {
   tabBorder.render(tabs[i]);
  }