Merge "Fix font size / alignment of timestamps in enhanced recent changes"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 7 Jul 2017 19:34:23 +0000 (19:34 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 7 Jul 2017 19:34:23 +0000 (19:34 +0000)
resources/src/mediawiki.special/mediawiki.special.changeslist.enhanced.css

index a484350..d6b06e6 100644 (file)
@@ -16,11 +16,11 @@ table.mw-enhanced-rc td {
 
 td.mw-enhanced-rc {
        white-space: nowrap;
-       font-family: monospace;
+       font-family: monospace, monospace;
 }
 
 .mw-enhanced-rc-time {
-       font-family: monospace;
+       font-family: monospace, monospace;
 }
 
 table.mw-enhanced-rc td.mw-enhanced-rc-nested {