$button-default-base-color: #00a983;
$button-default-color: dynamic(#ffffff);
$button-default-border-color: dynamic(#00a983);

$button-default-background-color: dynamic(#00a983);
$button-default-background-color-over: dynamic(#a5a56e);
$button-default-color-over: dynamic(#FFFFFF);
$button-default-border-color-over: dynamic(#a5a56e);

$button-default-base-color-pressed: dynamic(#a5a56e);
$button-default-background-color-pressed: dynamic(#a5a56e);
$button-default-border-color-pressed: dynamic(#a5a56e);
$button-default-inner-border-color-pressed: dynamic(transparent);
$button-default-inner-border-color-focus-pressed: dynamic(transparent);

$button-default-base-color-focus: dynamic(#a5a56e);
$button-default-base-color-focus-over: dynamic(#a5a56e);
$button-default-border-color-focus: dynamic(#a5a56e);
$button-default-inner-border-color-focus: dynamic(transparent);
$button-default-inner-border-color-focus-over: dynamic(transparent);

BODY.extjs-theme-customer-warstein {
    .x-html-editor-tb .x-btn-icon > .x-btn-icon-el {
        color: gray;
    }
}