@primary:     #6c782e; // primary color used in main texts
@secondary:   #c35e0a; // secondary color used in some texts and text based buttons
@tertiary:    #b47109; // tertiary color used in other colored texts
@fg:          #654735;
@bg0:         #fbf1c7;
@bg1:         #f4e8be;
@bg2:         #f2e5bc;
@bg3:         #eee0b7;
@bg4:         #e5d5ad;
@red:         #c14a4a;
@orange:      #c35e0a;
@yellow:      #b47109;
@green:       #6c782e;
@cyan:        #4c7a5d;
@blue:        #45707a;
@purple:      #945e80;
@grey:        #928374;
@red-bg:      #f1d9b5;
@green-bg:    #dee2b6;
@blue-bg:     #dadec0;
@yellow-bg:   #fae7b3;
@button1:     #6f8352;
@button2:     #7c6f64;
@button-red:  #ae5858;
@key:         @red;
@operator:    @orange;
@string:      @cyan;
@value:       @purple;
@type:        @yellow;
@function:    @green;
@special:     @blue;