jenkinsci/jenkins — pull request #1327 by kevinburke (2014-07-21 22:08:15+00:00)
Title: Shrinks the header bar from 50px to 40px.

Decreases margin around the title, the search bar, and the logo image to
compensate. The logo no longer has a red background, but the picture of the
face increases size slightly, as it's able to be bigger without a background
circle.

Old header:

New header: