var tabBorder = RUZEE.ShadedBorder.create({ corner:5, edges:"tlrb", border:0 });

    if (!window.$) {
      window.$ = function(id) { return document.getElementById(id); }
    }

    //var tabs = $('tabs').getElementsByTagName("li");
    var tabs = document.getElementById('tabs').getElementsByTagName("li");
    for (var i=0; i < tabs.length; ++i) {
      tabBorder.render(tabs[i]);
    }