| 1 |
|
| 2 |
|
| 3 |
|
| 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});
|
| 10 | }
|
| 11 |
|
| 12 | .#{$fa-css-prefix}-pull-left {
|
| 13 | float: left;
|
| 14 | margin-right: var(--#{$fa-css-prefix}-pull-margin, #{$fa-pull-margin});
|
| 15 | }
|
| 16 |
|
| 17 | .#{$fa-css-prefix}-pull-right {
|
| 18 | float: right;
|
| 19 | margin-left: var(--#{$fa-css-prefix}-pull-margin, #{$fa-pull-margin});
|
| 20 | }
|