@primary:     #89DDFF; // primary color used in main texts
@secondary:   #C792EA; // secondary color used in some texts and text based buttons
@tertiary:    #82AAFF; // tertiary color used in other colored texts
@fg:          #BFC7D5;
@bg0:         #292D3E;
@bg1:         mix(@bg0, @bg4, 75%);
@bg2:         mix(@bg0, @bg4, 50%);
@bg3:         mix(@bg0, @bg4, 25%);
@bg4:         #353a50;
@red:         #FF5572;
@orange:      #FFCB6B;
@yellow:      #F78C6C;
@green:       #C3E88D;
@cyan:        #89DDFF;
@blue:        #82AAFF;
@purple:      #C792EA;
@grey:        #697098;
@red-bg:      #55393d;
@green-bg:    #394634;
@blue-bg:     #354157;
@yellow-bg:   #4e432f;
@button1:     #82AAFF;
@button2:     #C3E88D;
@button-red:  #FF5572;
@key:         @purple;
@operator:    @blue;
@string:      @green;
@value:       @red;
@type:        @yellow;
@function:    @cyan;
@special:     @orange;