@primary:     #7accd7; // primary color used in main texts
@secondary:   #f85e84; // secondary color used in some texts and text based buttons
@tertiary:    #9ecd6f; // tertiary color used in other colored texts
@fg:          #e3e1e4;
@bg0:         #2d2a2e;
@bg1:         #37343a;
@bg2:         #3b383e;
@bg3:         #423f46;
@bg4:         #49464e;
@red:         #f85e84;
@orange:      #ef9062;
@yellow:      #e5c463;
@green:       #9ecd6f;
@cyan:        #7accd7;
@blue:        #7accd7;
@purple:      #ab9df2;
@grey:        #848089;
@red-bg:      #55393d;
@green-bg:    #394634;
@blue-bg:     #354157;
@yellow-bg:   #4e432f;
@button1:     #78dce8;
@button2:     #a9dc76;
@button-red:  #ff6188;
@key:         @red;
@operator:    @orange;
@string:      @yellow;
@value:       @purple;
@type:        @blue;
@function:    @green;
@special:     @orange;