From 6a2ca0ab3a00a41bcd3c274af552f8a6e5c408fc Mon Sep 17 00:00:00 2001
From: Mark Otto <otto@github.com>
Date: Sat, 30 Nov 2013 16:08:49 -0800
Subject: [PATCH] Fixes #11444: Use @navbar-padding-vertical for nav links
 padding

---
 less/navbar.less | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/less/navbar.less b/less/navbar.less
index bae180be7b..202edb57c4 100644
--- a/less/navbar.less
+++ b/less/navbar.less
@@ -247,8 +247,8 @@
     > li {
       float: left;
       > a {
-        padding-top: ((@navbar-height - @line-height-computed) / 2);
-        padding-bottom: ((@navbar-height - @line-height-computed) / 2);
+        padding-top:    @navbar-padding-vertical;
+        padding-bottom: @navbar-padding-vertical;
       }
     }
   }