2008/2/1 Nicolas Mailhot <nicolas.mailhot@xxxxxxxxxxx>: > > Le vendredi 01 février 2008 à 23:05 +0100, Martin Sourada a écrit : > > On Fri, 2008-02-01 at 14:14 -0500, Felix Miata wrote: > > > You can have FF use 11pt by calculating the number of px that 11pt converts > > > to at your DPI, and then set FF to use that px size. If your DPI is less than > > > 96, then you may need to change the pref 'layout.css.dpi' from -1 to 0 to get > > > around its default 96 DPI floor. > > > > > > FF uses px for pref sizes at least in part because at higher than 96 DPI > > > screen resolutions px offer finer control of the preferred size than pt, 25% > > > at 120 DPI, 50% at 144 DPI. Since resolutions have been increasing and will > > > continue to increase, px was and will continue to be a good choice for > > > maximizing this user control. > > > While good for maximising user control, > > It's not even good this way. Fractionnal point sizes are not rocket > science, there's no need to switch to a different unit (hardware > specific even) just to up the precision. > Indeed. Apart from specifying fractions, surely you don't expect people to have to re-adjust their web browser font settings whenever they hook up an external monitor, or adjust their screen resolution? -- Michel Salim http://hircus.jaiku.com/ -- fedora-devel-list mailing list fedora-devel-list@xxxxxxxxxx https://www.redhat.com/mailman/listinfo/fedora-devel-list
