@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:         #272e33;
@bg1:         #2d353b;
@bg2:         #343f44;
@bg3:         #3d484d;
@bg4:         #475258;
@red:         #e67e80;
@orange:      #e69875;
@yellow:      #dbbc7f;
@green:       #a7c080;
@cyan:        #83c092;
@blue:        #7fbbb3;
@purple:      #d699b6;
@grey:        #859289;
@red-bg:      #514045;
@green-bg:    #425047;
@blue-bg:     #3a515d;
@yellow-bg:   #4d4c43;
@button1:     #a7c080;
@button2:     #a7c080;
@button-red:  #e67e80;
@key:         @red;
@operator:    @orange;
@string:      @cyan;
@value:       @purple;
@type:        @yellow;
@function:    @green;
@special:     @blue;