bordered-pulled.less 585 B

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