// 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}); 
}
