Revision history: Use `padding` for same rendering
authorVolker E <volker.e@wikimedia.org>
Wed, 8 May 2019 10:01:48 +0000 (03:01 -0700)
committerVolker E <volker.e@wikimedia.org>
Wed, 8 May 2019 10:01:48 +0000 (03:01 -0700)
Replace `border` by `padding` to save some code while leaving
rendering unchanged. Follow-up to I71391cfd18f.

Change-Id: Ia0aa697afabbe9cdceee90805104d953468052f2

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;
 }