From fff5393079de72bdce144831dbbbc1a7d1faec5d Mon Sep 17 00:00:00 2001 From: Volker E Date: Wed, 8 May 2019 03:01:48 -0700 Subject: [PATCH] Revision history: Use `padding` for same rendering Replace `border` by `padding` to save some code while leaving rendering unchanged. Follow-up to I71391cfd18f. Change-Id: Ia0aa697afabbe9cdceee90805104d953468052f2 --- .../src/mediawiki.action/mediawiki.action.history.styles.less | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/resources/src/mediawiki.action/mediawiki.action.history.styles.less b/resources/src/mediawiki.action/mediawiki.action.history.styles.less index f5019a76ad..cf63ff8261 100644 --- a/resources/src/mediawiki.action/mediawiki.action.history.styles.less +++ b/resources/src/mediawiki.action/mediawiki.action.history.styles.less @@ -10,13 +10,12 @@ } #pagehistory li { - border: 1px solid #fff; + padding: 1px; } #pagehistory li.selected { background-color: #f8f9fa; color: #222; - border-color: #f8f9fa; outline: 1px dashed #a2a9b1; } -- 2.20.1