On Tuesday, 11 March 2014 at 21:32:19 UTC, Walter Bright wrote: > There should be one that is just snipping out the top of the > dconf.org page and running that as a banner. > > Etc. Be creative! What is the typeface used at the top there?