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

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