From bf1772130855ba0423fabe8fdce8015a3f7f739c Mon Sep 17 00:00:00 2001
From: Mark Otto <otto@github.com>
Date: Thu, 15 Aug 2013 13:58:16 -0700
Subject: [PATCH] fixes #9587: add var for nav link padding

---
 less/navs.less      | 2 +-
 less/variables.less | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/less/navs.less b/less/navs.less
index c9c54041e6..e4b3243d3e 100644
--- a/less/navs.less
+++ b/less/navs.less
@@ -19,7 +19,7 @@
     > a {
       position: relative;
       display: block;
-      padding: 10px 15px;
+      padding: @nav-link-padding;
       &:hover,
       &:focus {
         text-decoration: none;
diff --git a/less/variables.less b/less/variables.less
index 79415c6378..aa0f9fb0c5 100644
--- a/less/variables.less
+++ b/less/variables.less
@@ -296,6 +296,7 @@
 // Navs
 // -------------------------
 
+@nav-link-padding:                          10px 15px;
 @nav-link-hover-bg:                         @gray-lighter;
 
 @nav-disabled-link-color:                   @gray-light;
-- 
2.47.2