Thread:Project:Support desk/CSS missing in revision history (or: How to disable AJAX?)/reply (6)

And that's why I want to know the specific extension. Is it in fact the same extension used on this site, or a different one? I'm not sure the GeSHi extension used on this wiki ever loaded its stylesheet that way.

You could probably just copy the styles to MediaWiki:Common.css, so you don't have to rely on the extension loading it.