// bordered + pulled icons
// -------------------------
.#{$fa-css-prefix}-border {
    border-color: var(--#{$fa-css-prefix}-border-color, #{$fa-border-color});
    border-radius: var(--#{$fa-css-prefix}-border-radius, #{$fa-border-radius});
    border-style: var(--#{$fa-css-prefix}-border-style, #{$fa-border-style});
    border-width: var(--#{$fa-css-prefix}-border-width, #{$fa-border-width});
    padding: var(--#{$fa-css-prefix}-border-padding, #{$fa-border-padding});
}
.#{$fa-css-prefix}-pull-left {
    float: left;
    margin-right: var(--#{$fa-css-prefix}-pull-margin, #{$fa-pull-margin});
}
.#{$fa-css-prefix}-pull-right {
    float: right;
    margin-left: var(--#{$fa-css-prefix}-pull-margin, #{$fa-pull-margin});
}
