--- Comment #8 from Happy-melon <> 2011-02-03 
22:27:13 UTC ---
We can implement it in a RL'd CSS module included on GeSHi pages; I didn't mean
we should make individual wikis fix it in site CSS.  It only makes sense to
push changes upstream if this is a problem which affects all uses of the GeSHi
engine, not just its use in MediaWiki; if that's not the case, we should be
doing whatever we need to at a MW level, which pretty much reduces us to
!important, unless GeSHi has a hook API (I haven't checked).  What CSS needs to
be bundled in to straighten out the issues on MW?

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