Change Details

When editing an old revision, MediaWiki:Editingold might not be enough for some users, and some css to customize the font of the edit area may be worthwhile. This is already done for protected pages. See [[https://en.wikipedia.org/wiki/Wikipedia:Village_pump_%28proposals%29#Eliminate_.22Edit.22_link_for_old_revisions|one such concern at enwiki]]. Fixed in https://gerrit.wikimedia.org/r/#/c/265375/.