ui.theme: change deprecated background color also.

diff --git a/basis/ui/theme/theme.factor b/basis/ui/theme/theme.factor
index 690e7ac05e6c9065662815c9fee2d4105713a569..e00382b9c70cee81e3f5114cb06566b93967d967 100644 (file)
--- a/basis/ui/theme/theme.factor
+++ b/basis/ui/theme/theme.factor
@@ -151,10 +151,10 @@ 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 deprecated-background-color COLOR: gray90 ;
-M: light-theme deprecated-border-color COLOR: red ;
+M: light-theme deprecated-background-color HEXCOLOR: F4EAD9 ;
+M: light-theme deprecated-border-color HEXCOLOR: F37B00 ;
 M: light-theme warning-background-color HEXCOLOR: F4D9D9 ;
-M: light-theme warning-border-color COLOR: red ;
+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 ;
 
@@ -239,10 +239,10 @@ M: dark-theme title-color COLOR: grey75 ;
 M: dark-theme heading-color COLOR: grey75 ;
 M: dark-theme snippet-color COLOR: solarized-orange ;
 M: dark-theme output-color COLOR: solarized-orange ;
-M: dark-theme deprecated-background-color HEXCOLOR: 6E2E32 ;
-M: dark-theme deprecated-border-color COLOR: red ;
-M: dark-theme warning-background-color HEXCOLOR: 6E2E32 ;
-M: dark-theme warning-border-color COLOR: red ;
+M: dark-theme deprecated-background-color HEXCOLOR: 3c4a24 ;
+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 ;