MediaWiki の GeSHi でpreのstyleが上書きされてしまう不具合

MediaWiki 1.13.2 と GeSHi 1.0.8 でpreのstyleが上書きされてしまう不具合に遭遇していろいろ調べてたら、mediawikiのGeSHi ExtentionのDiscussionに対処方法が書かれてあった。

http://www.mediawiki.org/wiki/Extension_talk:SyntaxHighlight_GeSHi#Problem_with_CSS:_Default_style_for_pre_is_overwritten

ここに記載されている通り、"SyntaxHighlight_GeSHi.class.php"の192行目の以下の行を

$css[] = ".source-$lang {line-height: normal;}";

以下のように変更することで解決した。

$css[] = ".source-$lang {padding: 1em; border: 1px dashed #2f6fab; color: black; background-color: #f9f9f9; line-height: 1.1em;}";