@function button-base-inner-border-color($background-color, $border-color) {
    @if $background-color == transparent or is-null($background-color) {
        @return transparent;
    } @else {
        @return lighten($background-color, 10%);
    }
}

@function button-default-border-color-over($border-color) {
    @if $border-color == transparent or is-null($border-color) {
        @return transparent;
    } @else {
        @return lighten($border-color, 10%);
    }
}

@function button-default-border-color-focus($border-color) {
    @if $border-color == transparent or is-null($border-color) {
        @return transparent;
    } @else {
        @return lighten($border-color, 10%);
    }
}

@function button-default-border-color-pressed($border-color) {
    @if $border-color == transparent or is-null($border-color) {
        @return transparent;
    } @else {
        @return darken($border-color, 10%);
    }
}

@function button-default-border-color-focus-over($border-color) {
    @if $border-color == transparent or is-null($border-color) {
        @return transparent;
    } @else {
        @return lighten($border-color, 10%);
    }
}

@function button-default-border-color-focus-pressed($border-color) {
    @if $border-color == transparent or is-null($border-color) {
        @return transparent;
    } @else {
        @return darken($border-color, 10%);
    }
}

@function button-default-border-color-disabled($border-color) {
    @if $border-color == transparent or is-null($border-color) {
        @return transparent;
    } @else {
        @return desaturate(lighten($border-color, 30%), 30%);
    }
}

@function button-default-background-color-over($background-color) {
    @if $background-color == transparent or is-null($background-color) {
        @return transparent;
    } @else {
        @return lighten($background-color, 10%);
    }
}

@function button-default-background-color-focus($background-color) {
    @if $background-color == transparent or is-null($background-color) {
        @return transparent;
    } @else {
        @return lighten($background-color, 10%);
    }
}

@function button-default-background-color-pressed($background-color) {
    @if $background-color == transparent or is-null($background-color) {
        @return transparent;
    } @else {
        @return darken($background-color, 10%);
    }
}

@function button-default-background-color-disabled($background-color) {
    @if $background-color == transparent or is-null($background-color) {
        @return transparent;
    } @else {
        @return desaturate(lighten($background-color, 30%), 30%);
    }
}

@function button-default-inner-border-color($background-color, $border-color) {
    @return button-base-inner-border-color($background-color, $border-color);
}

@function button-default-inner-border-color-over($background-color, $border-color) {
    @return button-base-inner-border-color($background-color, $border-color);
}

@function button-default-inner-border-color-focus($background-color, $border-color) {
    @return button-base-inner-border-color($background-color, $border-color);
}

@function button-default-inner-border-color-pressed($background-color, $border-color) {
    @return button-base-inner-border-color($background-color, $border-color);
}

@function button-default-inner-border-color-focus-over($background-color, $border-color) {
    @return button-base-inner-border-color($background-color, $border-color);
}

@function button-default-inner-border-color-focus-pressed($background-color, $border-color) {
    @return button-base-inner-border-color($background-color, $border-color);
}

@function button-default-inner-border-color-disabled($background-color, $border-color) {
    @return button-base-inner-border-color($background-color, $border-color);
}

@function button-default-color-over($color) {
    @if $color == transparent or is-null($color) {
        @return transparent;
    } @else {
        @return $color;
    }
}

@function button-default-color-focus($color) {
    @if $color == transparent or is-null($color) {
        @return transparent;
    } @else {
        @return $color;
    }
}

@function button-default-color-pressed($color) {
    @if $color == transparent or is-null($color) {
        @return transparent;
    } @else {
        @return $color
    }
}

@function button-default-color-disabled($color) {
    @if $color == transparent or is-null($color) {
        @return transparent;
    } @else {
        @return $color;
    }
}

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

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

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

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

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

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

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

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

@function button-toolbar-inner-border-color($background-color, $border-color) {
    @return button-base-inner-border-color($background-color, $border-color);
}

@function button-toolbar-inner-border-color-over($background-color, $border-color) {
    @return button-base-inner-border-color($background-color, $border-color);
}

@function button-toolbar-inner-border-color-focus($background-color, $border-color) {
    @return button-base-inner-border-color($background-color, $border-color);
}

@function button-toolbar-inner-border-color-pressed($background-color, $border-color) {
    @return button-base-inner-border-color($background-color, $border-color);
}

@function button-toolbar-inner-border-color-focus-over($background-color, $border-color) {
    @return button-base-inner-border-color($background-color, $border-color);
}

@function button-toolbar-inner-border-color-focus-pressed($background-color, $border-color) {
    @return button-base-inner-border-color($background-color, $border-color);
}

@function button-toolbar-inner-border-color-disabled($background-color, $border-color) {
    @return button-base-inner-border-color($background-color, $border-color);
}

@function button-toolbar-color-over($color) {
    @return button-default-color-over($color);
}

@function button-toolbar-color-focus($color) {
    @return button-default-color-focus($color);
}

@function button-toolbar-color-pressed($color) {
    @return button-default-color-pressed($color);
}

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

@function tab-inner-border-color($background-color, $border-color) {
    @return button-base-inner-border-color($background-color, $border-color);
}

@function tab-inner-border-color-over($background-color, $border-color) {
    @return button-base-inner-border-color($background-color, $border-color);
}

@function tab-inner-border-color-focus($background-color, $border-color) {
    @return button-base-inner-border-color($background-color, $border-color);
}

@function tab-inner-border-color-active($background-color, $border-color) {
    @return button-base-inner-border-color($background-color, $border-color);
}

@function tab-inner-border-color-focus-over($background-color, $border-color) {
    @return button-base-inner-border-color($background-color, $border-color);
}

@function tab-inner-border-color-focus-active($background-color, $border-color) {
    @return button-base-inner-border-color($background-color, $border-color);
}

@function tab-inner-border-color-disabled($background-color, $border-color) {
    @return button-base-inner-border-color($background-color, $border-color);
}