https://bugzilla.wikimedia.org/show_bug.cgi?id=26204
Erwin Dokter <er...@darcoury.nl> changed:
What |Removed |Added
----------------------------------------------------------------------------
Keywords|need-review, patch |
--- Comment #23 from Erwin Dokter <er...@darcoury.nl> 2012-01-07 12:10:05 UTC
---
If I am to understand Happy-melon correctly, GeSHi is not part of core.
However, if it is part of the distribution package, I do consider it to at
least part of the software, and fixing this in shared.css would be appropriate.
As GeSHi does not have an associated CSS file, and MediaWiki:GeSHi.css loads
too late, I can't see another alternative.
Otherwise, the only alternative is to recommend each project to put the
following in their Common.css:
/* Fix so <syntaxhighlight> tags and .css and .js pages get normal text size */
div.mw-geshi div
div.mw-geshi div pre,
span.mw-geshi,
pre.source-css,
pre.source-javascript {
font-family: monospace, Courier !important;
}
--
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
