MediaWiki の GeSHi でpreのstyleが上書きされてしまう不具合
MediaWiki 1.13.2 と GeSHi 1.0.8 でpreのstyleが上書きされてしまう不具合に遭遇していろいろ調べてたら、mediawikiのGeSHi ExtentionのDiscussionに対処方法が書かれてあった。
ここに記載されている通り、"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;}";