From e065e5b3159fcd8c800f1bfbf1b394e8c2ddb35a Mon Sep 17 00:00:00 2001
From: John Benediktsson <mrjbq7@gmail.com>
Date: Tue, 19 May 2020 10:15:50 -0700
Subject: [PATCH] ui.theme: fix help-path-border-color to match
 toolbar-background.

---
 basis/ui/theme/theme.factor | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/basis/ui/theme/theme.factor b/basis/ui/theme/theme.factor
index 212280347e..e29949b0f8 100644
--- a/basis/ui/theme/theme.factor
+++ b/basis/ui/theme/theme.factor
@@ -157,7 +157,7 @@ M: light-theme deprecated-border-color HEXCOLOR: F37B00 ;
 M: light-theme warning-background-color HEXCOLOR: F4D9D9 ;
 M: light-theme warning-border-color HEXCOLOR: F42300 ;
 M: light-theme code-background-color COLOR: FactorLightTan ;
-M: light-theme help-path-border-color COLOR: FactorLightTan ;
+M: light-theme help-path-border-color COLOR: grey95 ;
 
 M: light-theme tip-background-color COLOR: lavender ;
 
@@ -246,7 +246,7 @@ M: dark-theme deprecated-border-color COLOR: solarized-yellow ;
 M: dark-theme warning-background-color HEXCOLOR: 492d33 ;
 M: dark-theme warning-border-color COLOR: solarized-red ;
 M: dark-theme code-background-color HEXCOLOR: 2F4D5B ;
-M: dark-theme help-path-border-color HEXCOLOR: 2F4D5B ;
+M: dark-theme help-path-border-color COLOR: solarized-base02 ;
 
 M: dark-theme tip-background-color HEXCOLOR: 2F4D5B ;