Tabs widget: How to reduce space between tabs and the header