HTML Setup: Adapt the tab usage to the jQuery UI 1.10 API