[Python-Dev] Playing with a new theme for the docs, iteration 2 (original) (raw)
Scott Dial scott+python-dev at scottdial.com
Mon Mar 26 04:23:09 CEST 2012
- Previous message: [Python-Dev] Playing with a new theme for the docs, iteration 2
- Next message: [Python-Dev] Playing with a new theme for the docs, iteration 2
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
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
- Previous message: [Python-Dev] Playing with a new theme for the docs, iteration 2
- Next message: [Python-Dev] Playing with a new theme for the docs, iteration 2
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]