https://bugzilla.wikimedia.org/show_bug.cgi?id=26204
Codicorumus <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |[email protected] --- Comment #39 from Codicorumus <[email protected]> --- Please, consider reopening this bug. At least in Firefox_19 and Chrome_25, https://gerrit.wikimedia.org/r/48882 seems to me not working. As I can see, the CSS rule affected by the patch is one of those created by $css[] = $geshi->get_stylesheet( false ); but amongst those there is also, for instance, .javascript.source-javascript {font-family:monospace;} which seems to need the same fix. Adding also $geshi->set_overall_style( ' font-family: monospace, monospace;', /** preserve defaults */ true ); will complete the fix, as I can see. -- You are receiving this mail because: You are watching all bug changes. _______________________________________________ Wikibugs-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
