https://bugzilla.wikimedia.org/show_bug.cgi?id=27502
Summary: Monospace text too small
Product: MediaWiki extensions
Version: any
Platform: All
OS/Version: All
Status: NEW
Severity: normal
Priority: Normal
Component: WikiEditor
AssignedTo: tpars...@wikimedia.org
ReportedBy: er...@darcoury.nl
CC: roan.katt...@gmail.com
This is actually a widely known problem. Monospace text is too small in Firefox
and Chrome. The problem is visible under the 'Help' button, 'What you type'
column.
To trigger the proper textsize, a second, valid font is needed. So instead of {
font-family: monospace; }, it should be { font-family: monospace, "Courier
New"; }.
Note that this is not ment to prefer Courier New, but merely to provide a
second, valid (and safe) parameter to trigger these browsers into displaying
the correct fontsize. This means that any user's preferred monospace font will
still be used.
There are two instances in jquery.wikiEditor.toolbar.css that would need to be
modified: line 244 and line 270. In the latter case, line 271 (font-size) would
no longer be needed and can be removed to ensure consistent behaviour between
browsers.
--
Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
_______________________________________________
Wikibugs-l mailing list
Wikibugs-l@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
