From 4f3116a68c5a83cfd1585c799d77619a4f45ec99 Mon Sep 17 00:00:00 2001
From: Marian Friedmann <marian.friedmann@gmail.com>
Date: Thu, 27 Jul 2017 11:05:17 +0200
Subject: [PATCH] Add border width to negative margin to prevent jumps

---
 source/stylesheets/screen.css.scss | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/source/stylesheets/screen.css.scss b/source/stylesheets/screen.css.scss
index 7abf60e..aa5f1cb 100644
--- a/source/stylesheets/screen.css.scss
+++ b/source/stylesheets/screen.css.scss
@@ -497,7 +497,7 @@ html, body {
 
   .search-highlight {
     padding: 2px;
-    margin: -2px;
+    margin: -3px;
     border-radius: 4px;
     border: 1px solid #F7E633;
     background: linear-gradient(to top left, #F7E633 0%, #F1D32F 100%);