Resources/Web/css/custom-theme/jquery-ui-1.8.16.custom.css
branchMiniDisplay
changeset 454 f84878f52cd9