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 -- users mailing list users@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe or change subscription options: https://admin.fedoraproject.org/mailman/listinfo/users Guidelines: http://fedoraproject.org/wiki/Mailing_list_guidelines Have a question? Ask away: http://ask.fedoraproject.org
