// Editor colors
$editor-darkest:#495157;
$editor-darker: #556068;
$editor-dark:   #6d7882;

$editor-light:    #a4afb7;
$editor-lighter:  #c2cbd2;
$editor-lightest: #d5dadf;

$editor-accent:           #9b0a46;
$editor-background:       #e6e9ec;
$editor-background-light: #f1f3f5;

$editor-orange: #fcb92c;

$editor-danger:  #f00;
$editor-warning: #b01b1b;
$editor-success: #39b54a;
$editor-info:    #71d7f7;

// Panel style
$panel-top-shadow:   -2px -5px 8px rgba(0, 0, 0, 0.1);
$panel-bottom-shadow: 0 0 8px rgba(0, 0, 0, 0.1);

$ui_success_color: #3ba956;
