jquery/jquery-ui — pull request #667 by dtrunk90 (2012-05-26 12:06:59+00:00)
Title: Fixed #8345 - Tabs: Add heightStyle option

Tabs: added heightStyle option.