- From: Gérard Talbot <www-style@gtalbot.org>
- Date: Wed, 18 Apr 2018 18:45:10 -0400
- To: Felix Miata <mrmazda@earthlink.net>
- Cc: W3C Public CSS Test suite mailing list <public-css-testsuite@w3.org>
Le 2018-04-18 17:50, Felix Miata a écrit : > Gérard Talbot composed on 2018-04-18 16:05 (UTC-0400): > >> Firefox 52.7.3 and Firefox 61.0a1 (today's nightly build) > >> input { >> (...) >> font: -moz-field; >> (...) >> } > >> coming from resource://gre-resources/forms.css > >> and computes to 21.3333px > > What size font is used in your starter and desktop menus and other DE > UI? Felix, (most likely expressed in pt unit) General: 16 Monospace: 18 Small: 14 Toolbars: 16 Menu: 16 Window title: 16 (most likely expressed in pt unit) > Which Linux DE are you using? KDE plasma 5.8.6 > -moz-field is one of the old CSS fonts to inherit from > the system. > http://fm.no-ip.com/Auth/Font/fonts-mozf.html andor > http://fm.no-ip.com/Auth/Font/fonts-system.html last modified before > CSS > redefined pt to mean px might be of some use here. > >> textarea { >> (...) >> font: medium -moz-fixed; >> (...) >> } >> coming from resource://gre-resources/forms.css > >> and computes to 12px > > -moz-fixed is Gecko's and Quantum/Servo's way of specifying the user > pref > setting for monospace, which on *nix builds ships at 12px, which for an > inane > historical reason having to do with the anachronism that is 75 dpi > bitmapped > fonts from two+ decades ago, are 1px smaller than Windows' and Mac's > 13px > monospace default. > >> select { >> (...) >> font: -moz-list; >> (...) >> } > >> coming from resource://gre-resources/forms.css > >> and computes to 21.3333px > > Same size as -moz-field > >> button, >> input[type="reset"], >> input[type="button"], >> input[type="submit"] { >> (...) >> font: -moz-button; >> (...) >> } >> coming from resource://gre-resources/forms.css > >> and computes to 21.3333px > > Same size as -moz-field > >> Why is there so much difference with regards to default font size of >> several form controls between Firefox and Chrome? > >> Why not use and rely on user's preferred font size instead? ... which >> is >> what I would expect. If my preferred font size as set in browser >> preferences is 16px (or 17px or 18px), then I do not get 16px (or 17px >> or 18px) in both browsers. > > CSS form control fonts were (still are?) intended to inherit fonts from > the DE, This is what I did not know before sending that email. I totally miss that; totally unaware of. > typically GTK for Linux even though the actual DE is not using Gnome or > any of > its relatives, e.g. KDE, TDE or anything QT-based. I have GTK2 Theme: Clearlooks GTK3 Theme: Adwaita Font: DejaVu Sans Condensed 16 (most likely pt, not px) > > Linux menu fonts long ago were typically 10pt (13.33px), Yikes! Much too small for me. I have menu font size set to 16pt which does convert to 21.33px Interestingly, this means font size of form controls could vary a lot from user to user... > but most DEs shrunk > them to 9pt to more closely resemble the 8pt scribble of Windows UI > fonts, > ostensibly to benefit most people migrating from Windows to Linux. Your > 21.333 > may be coming from a GTK3 config file, or absence thereof, or a desktop > DPI > setting. What is your output from 'xrdb -query | grep dpi'? Xft.dpi: 96 > That will report the > value of Xft.dpi, which is used as a DE zoom knob in Gnome and some > other DEs, > and a DPI override in some other DE's personal settings (e.g. again, > KDE and TDE). Gérard
Received on Wednesday, 18 April 2018 22:45:53 UTC