Thread:Support/Suggestion: Add this CSS to MediaWiki:Common.css/reply (2)

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?