- From: Irene VATTON <Irene.Vatton@inrialpes.fr>
- Date: Tue, 23 Jan 2001 08:34:57 +0100
- To: Reto Hadorn <reto.hadorn@sidos.unine.ch>
- cc: www-amaya@w3.org
>
> Secondly: while browsing, I prefer helvetica fonts to times fonts. Is there
> any way to change the setting? I did not find any.
Yes you can change that by defining your User CSS style sheet. It's the file
amaya.css located in your AmayaHome Directory (see Help/Configuring to know
where is this directory in your platform).
Mine amaya.css file contains:
@media print {
BODY {font-size: 10pt}
}
@media screen {
BODY {font-family: Helvetica}
}
--
Irene.
Received on Tuesday, 23 January 2001 02:35:00 UTC