[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