@primary:     #aea6e1; // primary color used in main texts
@secondary:   #75a9d9; // secondary color used in some texts and text based buttons
@tertiary:    #96ad01; // tertiary color used in other colored texts
@fg:          #be9898;
@bg0:         #f9f5f5;
@bg1:         #f4f0f0;
@bg2:         #f2edec;
@bg3:         #efeae9;
@bg4:         #ebe6e4;
@red:         #f85552;
@orange:      #ec9157;
@yellow:      #dfa000;
@green:       #96ad01;
@cyan:        #25b7b8;
@blue:        #75a9d9;
@purple:      #aea6e1;
@pink:        #f165bd;
@grey:        #dfc5c5;
@red-bg:      #fae1d7;
@green-bg:    #eaf3ce;
@blue-bg:     #e0f0f3;
@yellow-bg:   #f6ead0;
@button1:     #aea6e1;
@button2:     #75a9d9;
@button-red:  #f85552;
@key:         @pink;
@operator:    @purple;
@string:      @green;
@value:       @green;
@type:        @orange;
@function:    @blue;
@special:     @cyan;