On 1/5/10 3:31 AM, dolphin wrote:
At Monospace, user 1 chooses Times New Roman.
Which is a slightly silly thing to do, but ok...
If user 1 views the web site, then all PRE and TT tags will be displayed with a Times New Roman font.
Yes, that's what the user preferences say to do.
This is absolutely not the result that user 2 had expected! What is going on here?
Silly misconfiguration on the part of user 1, or user 1 having a good reason to never see fixed-width characters, depending.
User 2 wants to enforce exactly this font with his style sheet, no matter which absurd font user 1 chooses at his Iceweasel configuration box!
Then user 2 should be using PDF, not HTML+CSS. In HTML+CSS, ultimate control is ALWAYS with user 1 in this scenario.
First question: Which font is actually meant if I open the Iceweasel configuration box and assign "monospace" to "Monospace" without using any overriding style sheet?
Whatever the OS reports as "monospace". On Linux this is presumably some particular FontConfig option that User 1 could also change as desired.
What does user 2 has to assign to "font-family" in his CSS file to get exactly this font?
That depends on the installed fonts of User 1.
Is it possible for me to look up this kind of question somewhere in my system without having to ask such kind of question in a news group?
You could look at what your FontConfig does with "monospace", sure. -Boris _______________________________________________ dev-tech-layout mailing list [email protected] https://lists.mozilla.org/listinfo/dev-tech-layout
