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