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

$button-default-background-color: dynamic(#A71633);
$button-default-background-color-over: dynamic(#000000);
$button-default-color-over: dynamic(#FFFFFF);
$button-default-border-color-over: dynamic(#000000);

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

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

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