https://bugzilla.wikimedia.org/show_bug.cgi?id=26204
--- Comment #26 from Erwin Dokter <er...@darcoury.nl> 2012-01-09 19:46:54 UTC --- Created attachment 9827 --> https://bugzilla.wikimedia.org/attachment.cgi?id=9827 Patch for extensions/SyntaxHighlight_GeSHi/geshi/geshi.php I did some digging through the GeSHi source, and here is a simpler solution; make the generated CSS perform the same 'trick' as core does, namely add a second value for font-family. This will eliminate the need for the current hack in MediaWiki:Common.css. I would still like the entire GeSHi block to be loaded before site/user CSS, so overriding no longer needs !important (but Geshi.css must still be loaded after the generated CSS, realised that a bit too late). So the order would become: 1) Generated GeSHi CSS, 2) MediaWiki:Geshi.css, 3) RL site/user CSS. And also, MW:Geshi.css should be loaded only once. -- 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
