fixes #9587: add var for nav link padding

diff --git a/less/navs.less b/less/navs.less
index c9c54041e61c3d6e800b77b0613473a78c73dff1..e4b3243d3ee53d67bf461165587383a1e71a463b 100644 (file)
--- 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 79415c6378a993160338efcbd0726ce18c69d562..aa0f9fb0c5c69fd1874b3e87a5f6af288623cfad 100644 (file)
--- 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;