35bf07bab6
migrate the fontawesome to the latest library in the idea to use the last one (more complete) to use fontawesome icons instead of images. Font awesome 5.4.1 is leighter than the previous loaded version.
17 lines
422 B
Plaintext
17 lines
422 B
Plaintext
// Bordered & Pulled
|
|
// -------------------------
|
|
|
|
.@{fa-css-prefix}-border {
|
|
border-radius: .1em;
|
|
border: solid .08em @fa-border-color;
|
|
padding: .2em .25em .15em;
|
|
}
|
|
|
|
.@{fa-css-prefix}-pull-left { float: left; }
|
|
.@{fa-css-prefix}-pull-right { float: right; }
|
|
|
|
.@{fa-css-prefix}, .fas, .far, .fal, .fab {
|
|
&.@{fa-css-prefix}-pull-left { margin-right: .3em; }
|
|
&.@{fa-css-prefix}-pull-right { margin-left: .3em; }
|
|
}
|