From: Kevlin Henney (kevlin_at_[hidden])
Date: 2000-10-13 01:20:11
In message <220.127.116.11.2.20001012193738.02233d98_at_[hidden]>, Beman
Dawes <beman_at_[hidden]> writes
>At 11:00 PM 10/12/2000 +0200, Jens Maurer wrote:
> >Btw, my random/index.html page is the only one where the top-level menu
> >items are not only in Arial (which I don't have on Linux, so it comes
> >out Courier), but optionally also in Helvetica if Arial isn't there.
>Hum... Maybe I ought to propagate that code to all pages. Or eliminate
>the <font> altogether. To tell you the truth I haven't looked at the
>navigation bar code since the very beginning of boost; Nowadays I don't do
>anything that depends on a specific font.
You might want to consider one of:
(1) Adding alternative fonts to the font list, ie <font
(2) Replacing Arial completely with sans-serif, and each platform will
choose the appropriate default sans-serif font, ie <font face="sans-
(3) Moving to style sheets to hide the differences.
Kevlin Henney phone: +44 117 942 2990
Curbralan Limited mobile: +44 7801 073 508
mailto:kevlin_at_[hidden] fax: +44 870 052 2289
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk