@function button-default-border-color-over($border-color) {
    @return mix(#000, $border-color, 8%);
}

@function button-default-border-color-focus($border-color) {
    @return mix(#000, $border-color, 8%);
}

@function button-default-border-color-pressed($border-color) {
    @return mix(#000, $border-color, 25%);
}

@function button-default-border-color-disabled($border-color) {
    @return $border-color;
}

@function button-default-background-color-over($background-color) {
    @return mix(#000, $background-color, 8%);
}

@function button-default-background-color-focus($background-color) {
    @return mix(#000, $background-color, 8%);
}

@function button-default-background-color-pressed($background-color) {
    @return mix(#000, $background-color, 25%);
}

@function button-default-background-color-disabled($background-color) {
    @return $background-color;
}

@function button-toolbar-border-color-over($border-color) {
    @return mix(#000, $border-color, 4%);
}

@function button-toolbar-border-color-focus($border-color) {
    @return mix(#000, $border-color, 4%);
}

@function button-toolbar-border-color-pressed($border-color) {
    @return mix(#000, $border-color, 8%);
}

@function button-toolbar-border-color-disabled($border-color) {
    @return $border-color;
}

@function button-toolbar-background-color-over($background-color) {
    @return mix(#000, $background-color, 4%);
}

@function button-toolbar-background-color-focus($background-color) {
    @return mix(#000, $background-color, 4%);
}

@function button-toolbar-background-color-pressed($background-color) {
    @return mix(#000, $background-color, 8%);
}

@function button-toolbar-background-color-disabled($background-color) {
    @return $background-color;
}