From a83c90d849f645f8aaafbb0512ff2f17b83f6c06 Mon Sep 17 00:00:00 2001
From: nicolas-p <z.nicolas@gmail.com>
Date: Fri, 6 May 2016 11:18:03 +0200
Subject: [PATCH] Some color changes in both themes
---
basis/ui/gadgets/theme/dark/dark.factor | 2 +-
basis/ui/gadgets/theme/light/light.factor | 12 ++++++------
2 files changed, 7 insertions(+), 7 deletions(-)
diff --git a/basis/ui/gadgets/theme/dark/dark.factor b/basis/ui/gadgets/theme/dark/dark.factor
index f6268be3f0..fcf294fb5f 100644
--- a/basis/ui/gadgets/theme/dark/dark.factor
+++ b/basis/ui/gadgets/theme/dark/dark.factor
@@ -18,7 +18,7 @@ M: dark-theme button-clicked-text-color COLOR: white ;
M: dark-theme line-color COLOR: solarized-base01 ;
-M: dark-theme column-title-background COLOR: solarized-base01 ;
+M: dark-theme column-title-background HEXCOLOR: 2F4D5B ;
M: dark-theme roll-button-rollover-border COLOR: gray50 ;
M: dark-theme roll-button-selected-background COLOR: dark-gray ;
diff --git a/basis/ui/gadgets/theme/light/light.factor b/basis/ui/gadgets/theme/light/light.factor
index 1374051121..5cd16fcdf4 100644
--- a/basis/ui/gadgets/theme/light/light.factor
+++ b/basis/ui/gadgets/theme/light/light.factor
@@ -60,8 +60,8 @@ M: light-theme link-color COLOR: DodgerBlue4 ;
M: light-theme url-color COLOR: DodgerBlue4 ;
M: light-theme title-color COLOR: gray20 ;
M: light-theme heading-color COLOR: FactorDarkSlateBlue ;
-M: light-theme snippet-color COLOR: DarkOrange4 ;
-M: light-theme output-color COLOR: DarkOrange4 ;
+M: light-theme snippet-color COLOR: solarized-orange ;
+M: light-theme output-color COLOR: solarized-orange ;
M: light-theme warning-background-color T{ rgba f 1 0.7 0.7 1 } ;
M: light-theme code-background-color COLOR: FactorLightTan ;
@@ -69,10 +69,10 @@ M: light-theme tip-background-color COLOR: lavender ;
M: light-theme prompt-background-color T{ rgba f 1 0.7 0.7 1 } ;
-M: light-theme dim-color COLOR: gray35 ;
-M: light-theme highlighted-word-color COLOR: DarkSlateGray ;
-M: light-theme string-color COLOR: LightSalmon4 ;
-M: light-theme stack-effect-color COLOR: FactorDarkGreen ;
+M: light-theme dim-color COLOR: solarized-cyan ;
+M: light-theme highlighted-word-color COLOR: solarized-green ;
+M: light-theme string-color COLOR: solarized-magenta ;
+M: light-theme stack-effect-color COLOR: solarized-orange ;
M: light-theme vocab-background-color COLOR: FactorLightTan ;
M: light-theme vocab-border-color COLOR: FactorDarkTan ;