W3C home > Mailing lists > Public > www-amaya@w3.org > July to September 1996

Font resources

From: Ted Richards <ted@isgtec.com>
Date: Fri, 30 Aug 1996 09:50:32 -0400 (EDT)
Message-Id: <m0uwTxw-0001l7C@drbong.isgtec.com>
To: www-amaya@w3.org
I just joined this mailing list, and I have the same problem as
nelson@crynwr.com: the fonts are just too small.  However, I'd like
to change the font family (to Helvetica) as well as the font size.

Is there a resource to do this, or should this be done through a HOME
CSS file?  I did a strings on the binary and have been trying whatever
looked appropriate, but so far nothing has worked (or is the FontList
resource format different than just the font specification?).

Ted Richards            ted@isgtec.com    905-672-2100    FAX:  905-672-2307
ISG Technologies Inc.   6509 Airport Rd., Mississauga  Ont.  Canada   L4V 1S7
Received on Friday, 30 August 1996 15:50:24 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:30:23 UTC