Revision history: Prefer `outline` over `border` to give text more space
authorVolker E <volker.e@wikimedia.org>
Tue, 7 May 2019 12:11:39 +0000 (05:11 -0700)
committerVolker E <volker.e@wikimedia.org>
Tue, 7 May 2019 12:11:39 +0000 (05:11 -0700)
commit7deab901b19c9c45d9f3b6d2bbe49a7c09d63442
tree78181503b5ca7a40bd82ca6d816454a45d2d0320
parent6f34e8bf9520934a050b44cf3979c1dd4d92fa52
Revision history: Prefer `outline` over `border` to give text more space

Using `outline` enables to provide more space to selected list items'
text while not negatively impacting distance between elements.
Only browsers that are excluded by this are IE 6-7.

Change-Id: I71391cfd18f05c0fd0ea21720d278c5a06fa00a8
resources/src/mediawiki.action/mediawiki.action.history.styles.less