Summary: Fix font declarations
           Product: MediaWiki extensions
           Version: any
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: Normal
         Component: SyntaxHighlight (GeSHi)

GeSHi is inserting redundant <div style="font-family: monospace;"> and even
less necessary <pre style="font-family: monospace;"> into the generated HTML.
Redundant because the inline generated CSS already contains the necessary font
declaration, and <pre> is already using a monospace font.

The way it is currently declared also has problems in several browsers that
cause the text to be too small (see bug 20706, for which a general fix has been
applied, but also needs to be applied here), and also interferes with sitewide
CSS (ie. common.css).

What needs to be done:
* Remove the inline, hardcoded font styling from the generated HTML (as it is
already present in the generated CSS)
* Change the default font declaration in the generated CSS to
style="font-family: monospace, 'Courier New';" (see bug 20706 for explanation;
the objective is not to prefer Courier New, but to trigger the correct
behaviour of those borwsers)

Configure bugmail:
------- You are receiving this mail because: -------
You are on the CC list for the bug.

Wikibugs-l mailing list

Reply via email to