[DESIGN] update colors

This commit is contained in:
Elisabeth Dickinson 2021-03-26 15:49:07 +01:00
parent 8990eec83f
commit fee11ce8bb
2 changed files with 2 additions and 2 deletions

View File

@ -19,7 +19,7 @@ class OdooStyle(Style):
styles = { styles = {
Whitespace: '#bbbbbb', Whitespace: '#bbbbbb',
Comment: 'italic #008800', Comment: 'italic #8c8c8c',
String: '#800080', String: '#800080',
Number: 'bold', Number: 'bold',
Other: 'bg:#ffffe0', Other: 'bg:#ffffe0',

View File

@ -797,7 +797,7 @@ header.o_main_header{
&.alert-exercise { &.alert-exercise {
border-color: tint-color($doc_exercise, 30%); border-color: tint-color($doc_exercise, 30%);
background-color: tint-color($doc_exercise, 80%); background-color: tint-color($doc_exercise, 90%);
color: shade-color($doc_exercise, 35%); color: shade-color($doc_exercise, 35%);
> .alert-title, > h3 { > .alert-title, > h3 {