From b9ceec09e3830c427969332b17a946efd43b5c29 Mon Sep 17 00:00:00 2001
From: Jos de Jong <wjosdejong@gmail.com>
Date: Fri, 24 Jul 2020 20:30:23 +0200
Subject: [PATCH] Change dashed-line color to gray

---
 src/JSONNode.scss | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/JSONNode.scss b/src/JSONNode.scss
index 7ee0327..51896f8 100644
--- a/src/JSONNode.scss
+++ b/src/JSONNode.scss
@@ -41,7 +41,7 @@
 
     &:hover {
       .selector {
-        border: 1px dashed $theme-color;
+        border: 1px dashed $light-gray;
       }
     }