$base-color: dynamic(#0051A1);

$button-default-color: dynamic(#e6e6e6);
$button-default-border-color: dynamic(#0051A1);

$button-default-background-color: dynamic(#0051A1);
$button-default-background-color-over: dynamic(#969696);
$button-default-border-color-over: dynamic(#969696);

$button-default-base-color-pressed: dynamic(#0051A1);
$button-default-inner-border-color-pressed: dynamic(transparent);

$button-default-base-color-focus: dynamic(#0051A1);
$button-default-base-color-focus-over: dynamic(#969696);
$button-default-inner-border-color-focus: dynamic(transparent);
$button-default-inner-border-color-focus-over: dynamic(transparent);
$button-default-inner-border-color-focus-pressed: dynamic(transparent);

$panel-header-color: dynamic(#0051A1);