ui.theme: make warning background color a light shade of red.

diff --git a/basis/ui/theme/theme.factor b/basis/ui/theme/theme.factor
index e07e9a15eb2e74d4d5ef1a854cd1da422e277713..690e7ac05e6c9065662815c9fee2d4105713a569 100644 (file)
--- a/basis/ui/theme/theme.factor
+++ b/basis/ui/theme/theme.factor
@@ -153,7 +153,7 @@ 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 warning-background-color COLOR: gray90 ;
+M: light-theme warning-background-color HEXCOLOR: F4D9D9 ;
 M: light-theme warning-border-color COLOR: red ;
 M: light-theme code-background-color COLOR: FactorLightTan ;
 M: light-theme help-path-border-color COLOR: FactorLightTan ;