@primary:     #6cb6eb; // primary color used in main texts
@secondary:   #d38aea; // secondary color used in some texts and text based buttons
@tertiary:    #a0c980; // tertiary color used in other colored texts
@fg:          #c5cdd9;
@bg0:         #2b2d37;
@bg1:         #333644;
@bg2:         #363a49;
@bg3:         #3a3e4e;
@bg4:         #404455;
@red:         #ec7279;
@orange:      #deb974;
@yellow:      #deb974;
@green:       #a0c980;
@cyan:        #5dbbc1;
@blue:        #6cb6eb;
@purple:      #d38aea;
@grey:        #758094;
@red-bg:      #55393d;
@green-bg:    #394634;
@blue-bg:     #354157;
@yellow-bg:   #4e432f;
@button1:     #6cb6eb;
@button2:     #a0c980;
@button-red:  #ec7279;
@key:         @red;
@operator:    @purple;
@string:      @green;
@value:       @green;
@type:        @yellow;
@function:    @blue;
@special:     @cyan;

@import "base-dark";