checkout finish: Sat Nov 9 15:57:57 GMT 2002 (trunk) OK, I have set a monospace font, and de-selected "Allow pages to use other fonts". Now I see : <tt>blah</tt> is correctly monospaced but <span class="blah">blah</span> blah { font-family: monospace; } does NOT use my monospace font. Now, the question is if this is correct behaviour ? The page does not want to use an "other" font, it wants my standard monospace font. And <tt> still works. Compare http://oprofile.sourceforge.net/intel-events.php3 with http://oprofile.sourceforge.net/oprofile-2.5.html I searched for this, but not found. I set it to UNCO anyway as I'm not sure it makes sense/isn't a dupe.

The preference turns off all author styling of fonts. <tt> is not styling of font; it's a semantic tag that you (via your user stylesheet) can control if you wish.

OK, it's correct as designed. But should it work like this ? The pref will become more and more intrusive as more CSS styling is used. I suppose you answered this question. I shall just have to live with it. The pref label is misleading, but since I don't have a better text ... (do you know of a workaround I could use ?)

Bug 79094 is an RFE that this pref allow choice between user-specified generic fonts.

Actually, I'm going to reopen and mark...

*** This bug has been marked as a duplicate of 79074 ***

Good question... I assume "font { font-family: inherit !important }" in your user stylesheet is not what you really want... Perhaps it's worth filing an rfe on the style system for a system of font prefs that gives control over this sort of stuff...

Um.. ignore me. I was responding to comment 2 and neglected to read the rest of the bug.... Verified dup.