jquery/jquery-ui — pull request #843 by petersendidit (2012-11-26 01:03:16+00:00)
Title: Tabs: Calculate border and padding on tabs container. Fixed #8836: Heigh...

...t overflows parent with heightStyle: 'fill'