@primary:     #78cee9; // primary color used in main texts
@secondary:   #f76c7c; // secondary color used in some texts and text based buttons
@tertiary:    #9cd57b; // tertiary color used in other colored texts
@fg:          #e1e2e3;
@bg0:         #273136;
@bg1:         #313b42;
@bg2:         #353f46;
@bg3:         #3a444b;
@bg4:         #414b53;
@red:         #f76c7c;
@orange:      #f3a96a;
@yellow:      #e3d367;
@green:       #9cd57b;
@cyan:        #78cee9;
@blue:        #78cee9;
@purple:      #baa0f8;
@grey:        #82878b;
@red-bg:      #55393d;
@green-bg:    #394634;
@blue-bg:     #354157;
@yellow-bg:   #4e432f;
@button1:     #7cd5f1;
@button2:     #a2e57b;
@button-red:  #ff6d7e;
@key:         @red;
@operator:    @orange;
@string:      @yellow;
@value:       @purple;
@type:        @blue;
@function:    @green;
@special:     @orange;