Fixes #11444: Use @navbar-padding-vertical for nav links padding

diff --git a/less/navbar.less b/less/navbar.less
index bae180be7b416087346977da0aa45a05fb5a6ccd..202edb57c48cc1a1d2e58ad666f71c142927ed4f 100644 (file)
--- 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;
       }
     }
   }