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

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

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

$("ul#nav li").hover(
	function() {
	    $(this).stop().animate({ top: "0px" }, 400);
	},
	function() {
	$(this).stop().animate({ top: "10px" }, 200);
	}
);