jquery/jquery-ui — pull request #556 by fredefl (2011-12-24 12:03:10+00:00)
Title: Optimized images

Hello there! I've optimized the images. They now use less space. Please merge/pull it in!