var tabbox = document.getElementById("tabbed-view");
tabbox.setAttribute("orient", "horizontal");
tabbox.setAttribute("dir", "reverse");
tabbox.tabs.setAttribute("orient", "vertical");
var tabbox = document.getElementById("tabbed-view");
tabbox.setAttribute("orient", "horizontal");
tabbox.setAttribute("dir", "reverse");
tabbox.tabs.setAttribute("orient", "vertical");