[Python-Dev] Playing with a new theme for the docs, iteration 2

Scott Dial scott+python-dev at scottdial.com
Mon Mar 26 04:23:09 CEST 2012


On 3/25/2012 8:37 PM, Steven D'Aprano wrote:
> E.g. change the font-family from
> 
> font-family: 'Lucida Grande',Arial,sans-serif;
> 
> to
> 
> font-family: 'Lucida Grande','Lucida Sans Unicode','Lucida
> Sans',Tahoma,Verdana,Arial,sans-serif;
> 
> or similar.
> 

+1 To providing other fallbacks.

As Steven says, on my Win7 machine, I do not have 'Lucida Grande' and it
wasn't until he mentioned this that I compared the experience of the
site with my MacBook (which looks much better!). This machine has both
'Lucida Sans Unicode' and 'Lucida Sans' and it's a toss-up to me which
is better -- one is better than the other in certain contexts.
Presumably, the character coverage of the Unicode font makes it the
superior choice.

Personally, I would leave Tahoma out of the list -- the kerning of the
font is really aggressive and I find it much harder to read than Verdana.

-- 
Scott Dial
scott at scottdial.com


More information about the Python-Dev mailing list