- From: Irene Vatton <Irene.Vatton@inrialpes.fr>
- Date: Wed, 21 Nov 2001 09:13:17 +0100
- To: Coralie Mercier <coralie@w3.org>
- Cc: Irene Vatton <Irene.Vatton@inrialpes.fr>, danield@w3.org, w3t-sophia@w3.org, www-amaya@w3.org, Irene.Vatton@inrialpes.fr
> Irene Vatton a écrit :
> >
> > > What is not 'customable' is the size of the font in the source window. I
> > > always have to 'alt' + '-' several times in order to have a workable source
> > > window.
> >
> > You can customize the default font size in Special/General/General by changing
> > the
> > value of "Font zoom".
>
> '-1' is OK, '-2' makes the font too small. '-1.5' would be just fine if it
> worked...
I've never loaded fonts with a font-size equal to 10.5pt.
--
Irene.
Received on Wednesday, 21 November 2001 03:17:12 UTC