On Tue, Nov 16, 1999 at 02:00:26PM -0800, A. Vine wrote:
> Admittedly I haven't tried this, but 9pt sounds _exceptionally_
> small. I don't even use it in English. The online font settings I
> use (on Solaris/CDE) are usually 12pt. Is there some difference in
> display on the PC?
You, most probably, use -*-12-120-75-75-*- fonts. Typical Sun
displays are 90dpi, so 12 pixels = 12 * 75/90 = 10pt.
-- email@example.com | Zu Grunde kommen http://www.ptc.spbu.ru/~uwe/ | Ist zu Grunde gehen
This archive was generated by hypermail 2.1.2 : Tue Jul 10 2001 - 17:20:56 EDT