@primary:     #5079be; // primary color used in main texts
@secondary:   #b05ccc; // secondary color used in some texts and text based buttons
@tertiary:    #608e32; // tertiary color used in other colored texts
@fg:          #4b505b;
@bg0:         #fafafa;
@bg1:         #eef1f4;
@bg2:         #e8ebf0;
@bg3:         #e8ebf0;
@bg4:         #dde2e7;
@red:         #d05858;
@orange:      #be7e05;
@yellow:      #be7e05;
@green:       #608e32;
@cyan:        #3a8b84;
@blue:        #5079be;
@purple:      #b05ccc;
@grey:        #8790a0;
@red-bg:      #f6e4e4;
@green-bg:    #e5eee4;
@blue-bg:     #e3eaf6;
@yellow-bg:   #f0ece2;
@button1:     #6996e0;
@button2:     #76af6f;
@button-red:  #e17373;
@key:         @red;
@operator:    @purple;
@string:      @green;
@value:       @green;
@type:        @yellow;
@function:    @blue;
@special:     @cyan;