prettyprint.stylesheet: change stack effects to not be green.

master
John Benediktsson 2020-02-26 11:07:46 -08:00
parent 2cbcacad88
commit 59ddb844e9
2 changed files with 2 additions and 2 deletions

View File

@ -52,7 +52,7 @@ H{
SYMBOL: stack-effect-style SYMBOL: stack-effect-style
H{ H{
{ foreground COLOR: FactorDarkGreen } { foreground COLOR: FactorDarkSlateBlue }
{ font-style plain } { font-style plain }
} stack-effect-style set-global } stack-effect-style set-global

View File

@ -166,7 +166,7 @@ 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 dim-color COLOR: gray35 ;
M: light-theme highlighted-word-color COLOR: DarkSlateGray ; M: light-theme highlighted-word-color COLOR: DarkSlateGray ;
M: light-theme string-color COLOR: LightSalmon4 ; M: light-theme string-color COLOR: LightSalmon4 ;
M: light-theme stack-effect-color COLOR: FactorDarkGreen ; M: light-theme stack-effect-color COLOR: FactorDarkSlateBlue ;
M: light-theme vocab-background-color COLOR: FactorLightTan ; M: light-theme vocab-background-color COLOR: FactorLightTan ;
M: light-theme vocab-border-color COLOR: FactorDarkTan ; M: light-theme vocab-border-color COLOR: FactorDarkTan ;