264440 - "Allow documents to use other fonts: no" screws up <PRE>

Status: RESOLVED DUPLICATE of bug 159440

(Core :: Layout: Text and Fonts, defect)

Description

[Jamie Zawinski]

If a page does this:

    <style> pre { font-family: monospace; } </style>

And if the user has "Allow documents to use other fonts" unchecked,
then any text inside PRE shows up in a variable-width font instead
of a fixed-width font.

If "Allow documents to use other fonts" is checked, then it renders
properly.

If the page does not set the font-family on pre, then it renders properly.

I guess the "don't override fonts" logic is broken, and if someone
does try to override it, it sets it to the default variable-width
font instead of (for the case of pre) to the default fixed-width font?

Mozilla 1.7.3
Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.7.3) Gecko/20040922

My fonts preferences page says:

    Fonts for Western:
      Proportional: Sans Serif 17
      Serif: serif
      Sans-serif: sans-serif
      Cursive: serif
      Fantasy: serif
      Monospace: monospace 14

    Allow documents to use other fonts: no

Comment 1

[Christian :Biesinger (don't email me, ping me on IRC)]

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