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");