W3C home > Mailing lists > Public > www-amaya@w3.org > October to December 2007

Re: font sizes

From: Irene Vatton <vatton@inrialpes.fr>
Date: Wed, 12 Dec 2007 12:29:35 +0100
To: Stanimir Stamenkov <s7an10@netscape.net>
Cc: "www-amaya.w3.org" <www-amaya@w3.org>
Message-Id: <200712121229.35560.vatton@inrialpes.fr>

On Sunday 09 December 2007 13:45, Stanimir Stamenkov wrote:
> Sun, 9 Dec 2007 13:37:44 +0100, /Pascal/:
> > Wouldn't be simpler to add some fonts preferences in Amaya as in Safari
> > for instance?
>
> I use the "amaya.css" user stylesheet placed in the AMAYA_USER_HOME
> directory, to affect the Amaya default styles (like base
> font-size/family, etc.).

That only concerns default fonts.
There is also an option in Preferences to increase or decrease the zoom 
applied to all requested fonts. The default 100% keeps actual calculated font 
sizes

-- 
Irène Vatton @ INRIA Rhône-Alpes
Received on Wednesday, 12 December 2007 11:32:20 UTC

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