- From: Daniel Veillard <Daniel.Veillard@imag.fr>
- Date: Fri, 30 Aug 1996 15:57:38 +0200
- 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 ...
Daniel
Received on Friday, 30 August 1996 15:57:42 UTC