Tim wrote:
Some browsers change font sizing with a zoom feature, which will
also
increase the graphics size. That may, or may not, be a desirable
feature.
Thanks for your response.
I find zooming (Ctl-++ in Firefox) does give the best solution.
I guess what I would really like would be if Zoom In could be chosen
in some way as the default, with the option to Zoom Out if one wants.
--
Timothy Murphy
e-mail: gayleard /at/
eircom.net
tel: +353-86-2336090, +353-1-2842366
s-mail: School of Mathematics, Trinity College, Dublin 2, Ireland