D web site facelift

[David Gileadi]

On 7/7/10 12:36 PM, Charles Hixson wrote:
> 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.)
>

Is there a way?  Yes, but it's probably not feasible.  So far as I'm 
aware it would either require Javascript which Walter seems generally 
adverse to as it can slow down page rendering, or would require 
server-side code which would mean all the pages would have to become 
dynamically generated instead of static HTML.  Either way would be a 
fairly large effort.