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