Author: herd
Description:
Per the above thread (and various IRC requests), borders seem to be missed (having disappeared in monobook and some other skins after bug 10967). But other than applying a fake <pre> border specific to each skin, such as http://p.defau.lt/?1_9Ng5QbM8zr6CBYeMv9YA (fragile and hard to upkeep), there is no good way to perfectly emulate the various <pre> borders in various skins (other than to have the geshi extension code output an extrenuous <pre> wrapper).
Suggested then is to give the output a single pixel black border, with similar padding to the monobook pre, eg:
div.mw-geshi {padding: 1em; margin:1em 0; border: 1px solid black;}
This would apply to all skins, be overridable with local or user CSS or userContent.css, and generally let code stand off nicely. IMHO. It would also be left off of enclose="span" for inline customization.
Related bugs: bug 11274 and bug 16324 dealt with adding a class to make this possible at the user/project level.
Version: unspecified
Severity: normal
URL: http://en.wikipedia.org/wiki/Wikipedia:Village_pump_(technical)#GeSHi_update