Latest amends of jQuery UI CSS file