jenkinsci/jenkins — pull request #1315 by kevinburke (2014-07-11 00:49:17+00:00)
Title: change font to helvetica

While Verdana and Georgia are widely available on user machines, they have
become a rare sight in web interfaces today, and are more commonly associated
with old websites. The list of fonts that are on most users computers is small,
and few of those are acceptable to use as a general-purpose web font for
Jenkins. This leaves Helvetica and its close cousin Arial; Helvetica looks
slightly nicer but its cousin is deployed on many more machines, so it provides
a good fallback.

Bumps the default font size by several small points. Each Verdana letter takes up more vertical/horizontal space than the equivalent Helvetica letter, so it's possible to bump readability while keeping things at roughly the same size.

Change the default font color #000 -> #333. This provides a slightly nicer
contrast with pure white, without hurting accessibility.