jenkinsci/jenkins — pull request #1284 by kevinburke (2014-06-16 14:27:06+00:00)
Title: Update Jenkins button styles

Uses the same styles as in #1279.

Before:

After: