Merge "Revision history: Use `padding` for same rendering"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 8 May 2019 17:06:02 +0000 (17:06 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 8 May 2019 17:06:02 +0000 (17:06 +0000)
resources/src/mediawiki.action/mediawiki.action.history.styles.less

index f5019a7..cf63ff8 100644 (file)
 }
 
 #pagehistory li {
-       border: 1px solid #fff;
+       padding: 1px;
 }
 
 #pagehistory li.selected {
        background-color: #f8f9fa;
        color: #222;
-       border-color: #f8f9fa;
        outline: 1px dashed #a2a9b1;
 }