jenkinsci/jenkins — pull request #648 by sdumitriu (2012-12-14 14:32:33+00:00)
Title: Optimize images

I used gifsicle, optipng and pngout to reduce the size of all the images.