Suggestion: Add this CSS to [[MediaWiki:Common.css]]

Yes, that's a good point. The code already has provisions for this in place (with different classes for doc vs. no doc), so something like this could be added to the extension itself, right?

Jsoby (talk)14:59, 23 January 2012