D web site facelift

[Charles Hixson]

On 07/07/2010 11:51 AM, David Gileadi wrote:
> On 7/7/10 11:12 AM, torhu wrote:
>> On 06.07.2010 22:14, David Gileadi wrote:
>>> On 7/6/10 1:02 PM, Andrej Mitrovic wrote:
>>>> What's up with the fonts in the code examples? Looks horrible now:
>>>> http://imgur.com/SNTlv.jpg
>>>>
>>>> It looked ok before..
>>>
>>> I tried an experiment: I reasoned that folks would probably only have
>>> custom programming fonts installed when they use them. So I changed the
>>> code font to "Inconsolata, Proggy, Monofur, ProFont, Dina, MonteCarlo,
>>> Pragmata, Anonymous, Monaco, Consolas, 'Andale Mono', 'Deja Vu Sans
>>> Mono', 'Courier New', monospace", where most of these are fonts you're
>>> not likely to have installed and others are commonly-used in IDEs.
>>>
>>> If the code font bugs a lot of people I'll change it back to something
>>> more standard.
>>
>> I'd prefer just letting the web browser use its default monospaced font.
>> Which for Firefox on Windows is Courier New 10 (size 13 in the Mozilla
>> system), and that's also what I use for coding. IE uses the same font
>> and size, I assume Chrome has a sensible default too. I don't know about
>> linux or mac.
>>
>> Using the default font is an easy way to let people choose what font and
>> size they prefer for best readability on their screen. I really wish web
>> sites wouldn't mess with the monospaced font, but most of them do. :(
>
> The default monospaced font on the Mac is Courier and is smaller than
> other fonts, so it looks a bit odd. Despite that I'm pretty well
> convinced by this argument. Any rebuttals before I make it so?
That sounds like a good default.  Is there a way to allow users to 
select a custom monospace font for the pages of this site?  That could 
be even better.  But it would need to only need to be set once.  (I'm 
presuming that this CAN be done, as Distributed Proofreading uses 
something analogous.  But the details are different enough that I'm not 
sure.  (They require that you download their own custom font, install 
it, and then change a configurable user setting.  I'm proposing that 
there just be a configurable user setting, where the user could specify 
any font of his choosing.)