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

Re: Font resources

From: Daniel Veillard <Daniel.Veillard@imag.fr>
Date: Fri, 30 Aug 1996 15:57:38 +0200
Message-Id: <199608301357.PAA20773@praslin.inrialpes.fr>
To: ted@isgtec.com
Cc: 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?).

  same thing, do it with CSS, in your case 

------------ $HOME/.amaya.css ------------
BODY { magnification : 1}
P { font-family : helvetica }

  it's not complete, but it gives you the idea ...

Received on Friday, 30 August 1996 15:57:42 UTC

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