1
|
// Bordered & Pulled
|
2
|
// -------------------------
|
3
|
|
4
|
.#{$fa-css-prefix}-border {
|
5
|
padding: .2em .25em .15em;
|
6
|
border: solid .08em $fa-border-color;
|
7
|
border-radius: .1em;
|
8
|
}
|
9
|
|
10
|
.#{$fa-css-prefix}-pull-left { float: left; }
|
11
|
.#{$fa-css-prefix}-pull-right { float: right; }
|
12
|
|
13
|
.#{$fa-css-prefix} {
|
14
|
&.#{$fa-css-prefix}-pull-left { margin-right: .3em; }
|
15
|
&.#{$fa-css-prefix}-pull-right { margin-left: .3em; }
|
16
|
}
|
17
|
|
18
|
/* Deprecated as of 4.4.0 */
|
19
|
.pull-right { float: right; }
|
20
|
.pull-left { float: left; }
|
21
|
|
22
|
.#{$fa-css-prefix} {
|
23
|
&.pull-left { margin-right: .3em; }
|
24
|
&.pull-right { margin-left: .3em; }
|
25
|
}
|