Re: [Kimchi-devel] [PATCH] UI: Customize jQuery UI Tabs Widget