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

char-rename
John Benediktsson 2016-11-08 15:48:40 -08:00
parent ba40af541f
commit d5a57ca04f
1 changed files with 1 additions and 1 deletions

View File

@ -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 ;