@primary:     #a7c080; // primary color used in main texts
@secondary:   #e69875; // secondary color used in some texts and text based buttons
@tertiary:    #dbbc7f; // tertiary color used in other colored texts
@fg:          #d3c6aa;
@bg0:         #2b3339;
@bg1:         #323c41;
@bg2:         #3a454a;
@bg3:         #445055;
@bg4:         #4a555b;
@red:         #e67e80;
@orange:      #e69875;
@yellow:      #dbbc7f;
@green:       #a7c080;
@cyan:        #83c092;
@blue:        #7fbbb3;
@purple:      #d699b6;
@grey:        #859289;
@red-bg:      #4e3e43;
@green-bg:    #404d44;
@blue-bg:     #394f5a;
@yellow-bg:   #4a4940;
@button1:     #a7c080;
@button2:     #a7c080;
@button-red:  #e67e80;
@key:         @red;
@operator:    @orange;
@string:      @cyan;
@value:       @purple;
@type:        @yellow;
@function:    @green;
@special:     @blue;