From bf6a3570118aa5eba98021c4abdceed56d416a5d Mon Sep 17 00:00:00 2001
From: Danny B <danny_b@users.mediawiki.org>
Date: Fri, 28 Oct 2011 16:15:12 +0000
Subject: [PATCH] * use outline instead of border to not change the dimensions
 of the element

---
 resources/mediawiki.action/mediawiki.action.history.diff.css | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/resources/mediawiki.action/mediawiki.action.history.diff.css b/resources/mediawiki.action/mediawiki.action.history.diff.css
index 2b99ad278a..2c8fdf7567 100644
--- a/resources/mediawiki.action/mediawiki.action.history.diff.css
+++ b/resources/mediawiki.action/mediawiki.action.history.diff.css
@@ -40,8 +40,7 @@ td.diff-context {
 	white-space: -moz-pre-wrap;
 	white-space: pre-wrap;
 	text-decoration: none;
-	padding: 2px 1px;
-	border: 1px solid gray;
+	outline: 1px dotted gray;
 }
 
 td.diff-addedline .diffchange {
-- 
2.20.1