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 · This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:30:23 UTC

>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 ...

Daniel