$default-background:         #2D3E50;
$font-color:                 #EDF1F2;
$hover-font-color:           #3B9AD9;
$entity-current-font-color:  #FFFFFF;
$lm-btn-remove-background:      #BF3A31;
$lm-btn-remove-hover-font-color:#ffffff;
$lm-btn-commit-on-font-color:   #ffffff;
$entity-badge-font-color:    #ccd4e0;

// used in LOG
$log-message:          #0CCA5D;
$log-info:             #5E3673;
$log-warning:          #FCC937;
$log-error:            #FD354B;

$logo-background: rgba(0,0,0,0.75);

@function color-lower-contrast($color, $amount) {
    @return darken($color, $amount);
}

@function color-increase-contrast($color, $amount) {
    @return lighten($color, $amount);
}