@primary:     #81A1C1; // primary color used in main texts
@secondary:   #8FBCBB; // secondary color used in some texts and text based buttons
@tertiary:    #88C0D0; // tertiary color used in other colored texts
@fg:          #D8DEE9;
@bg0:         #2E3440;
@bg1:         mix(@bg0, @bg4, 75%);
@bg2:         mix(@bg0, @bg4, 50%);
@bg3:         mix(@bg0, @bg4, 25%);
@bg4:         mix(#4C566A, #434C5E, 50%);
@red:         #BF616A;
@orange:      #D08770;
@yellow:      #EBCB8B;
@green:       #A3BE8C;
@cyan:        #88C0D0;
@blue:        #81A1C1;
@purple:      #B48EAD;
@grey:        mix(#616E88, @fg, 75%);
@red-bg:      #55393d;
@green-bg:    #394634;
@blue-bg:     #354157;
@yellow-bg:   #4e432f;
@button1:     #81A1C1;
@button2:     #88C0D0;
@button-red:  #BF616A;
@key:         @primary;
@operator:    @secondary;
@string:      @green;
@value:       @green;
@type:        @tertiary;
@function:    @blue;
@special:     @yellow;