From 134299e62939a83908caa45c768ccbe89da358bb Mon Sep 17 00:00:00 2001
From: Jason <jsncbt@gmail.com>
Date: Wed, 12 Dec 2012 21:06:57 +1000
Subject: [PATCH] Added push margins to give icons a nice margin if required.

---
 docs/assets/less/variables.less |  5 +++++
 less/font-awesome.less          | 10 ++++++++++
 2 files changed, 15 insertions(+)

diff --git a/docs/assets/less/variables.less b/docs/assets/less/variables.less
index 8fa8a3f84..b81ae4982 100755
--- a/docs/assets/less/variables.less
+++ b/docs/assets/less/variables.less
@@ -204,3 +204,8 @@
 // -------------------------
 @fluidGridColumnWidth:    6.382978723%;
 @fluidGridGutterWidth:    2.127659574%;
+
+// Pushes
+// -------------------------
+
+@push-distance:           @baseLineHeight/2;
diff --git a/less/font-awesome.less b/less/font-awesome.less
index 45f69edb6..fbdc0ca04 100644
--- a/less/font-awesome.less
+++ b/less/font-awesome.less
@@ -58,6 +58,16 @@ a [class*=" icon-"] {
   font-size: 4/3em;
 }
 
+/* gives an icon a small push to the left or right */
+
+.icon-push-right {
+  margin-right: @push-distance;
+}
+
+.icon-push-left {
+  margin-left: @push-distance;
+}
+
 .btn, .nav-tabs {
   [class^="icon-"],
   [class*=" icon-"] {