fixes #9769: use navbar border radius var in theme

diff --git a/less/theme.less b/less/theme.less
index 52e2d239aa63e80485267850fffeb6e1f14c4703..f7e50364468442bb157b9b4e6498532db3b92209 100644 (file)
--- a/less/theme.less
+++ b/less/theme.less
@@ -94,7 +94,7 @@
 // Basic navbar
 .navbar {
   #gradient > .vertical(@start-color: lighten(@navbar-bg, 10%); @end-color: @navbar-bg;);
-  border-radius: @border-radius-base;
+  border-radius: @navbar-border-radius;
   @shadow: inset 0 1px 0 rgba(255,255,255,.15), 0 1px 5px rgba(0,0,0,.075);
   .box-shadow(@shadow);