Thread:Extension talk:Header Tabs/Useful CSS for Overriding jQueryUI style