I have no objections to changing the fonts. I don't really notice differences of fonts in general.
The only condition for me would that they have to be distributable, I don't want Jenkins to reach out to typekit or Google every page hit, it should work the same airgapped. Gavin On Mon., Mar. 7, 2022, 11:20 a.m. Basil Crow, <[email protected]> wrote: > Since at least August 10, 2011 > <https://web.archive.org/web/20110810134842im_/http://jenkins-ci.org/sites/default/files/jenkins_logo.png>, > the Jenkins logo has been set in Georgia bold. > > To me, this is a throwback to a much earlier era in Internet history, when > web typography was essentially limited to Microsoft's core fonts for the > web <https://en.wikipedia.org/wiki/Core_fonts_for_the_Web>. Since the > early 2010s, the Web Open Font Format (WOFF) > <https://en.wikipedia.org/wiki/Web_Open_Font_Format> was standardized and > rose to prominence, Adobe Fonts > <https://en.wikipedia.org/wiki/Adobe_Fonts> (then Typekit) was launched > and rose to prominence, and Google Fonts > <https://en.wikipedia.org/wiki/Google_Fonts> (formerly Google Web Fonts) > was launched and rose to prominence. Webfonts have become an important tool > for web designers, and as of 2016 a majority of sites use webfonts > <https://alistapart.com/article/webfonts-on-the-prairie/>. > > I think the continued use of Georgia bold gives the Jenkins project a > dated look. As part of the efforts to modernize the Jenkins user interface, > I think it is time to sunset Georgia bold. I think the project's brand > would benefit from the use of a modern typeface and modern font technology. > > -- > You received this message because you are subscribed to the Google Groups > "Jenkins Developers" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/jenkinsci-dev/CAFwNDjpGo2Rs%2B1k-SZJdWZgY8YMSUnPT0mUnLNkBKc0HVyvnAQ%40mail.gmail.com > <https://groups.google.com/d/msgid/jenkinsci-dev/CAFwNDjpGo2Rs%2B1k-SZJdWZgY8YMSUnPT0mUnLNkBKc0HVyvnAQ%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- You received this message because you are subscribed to the Google Groups "Jenkins Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/CAG%3D_Duth0n8E489df_JFwd7uQS-adxUtt7Lmu7QYhixzuNQg2w%40mail.gmail.com.
