1 // bordered + pulled icons
2 // -------------------------
4 .#{$fa-css-prefix}-border {
5 border-color: var(--#{$fa-css-prefix}-border-color, #{$fa-border-color});
6 border-radius: var(--#{$fa-css-prefix}-border-radius, #{$fa-border-radius});
7 border-style: var(--#{$fa-css-prefix}-border-style, #{$fa-border-style});
8 border-width: var(--#{$fa-css-prefix}-border-width, #{$fa-border-width});
9 padding: var(--#{$fa-css-prefix}-border-padding, #{$fa-border-padding});
12 .#{$fa-css-prefix}-pull-left {
14 margin-right: var(--#{$fa-css-prefix}-pull-margin, #{$fa-pull-margin});
17 .#{$fa-css-prefix}-pull-right {
19 margin-left: var(--#{$fa-css-prefix}-pull-margin, #{$fa-pull-margin});