From 4246f6a01f6d025962beb8dcc9a035d6e17e5d20 Mon Sep 17 00:00:00 2001
From: Mark Otto <otto@github.com>
Date: Sun, 18 Aug 2013 09:58:21 -0700
Subject: [PATCH] fixes #9769: use navbar border radius var in theme

---
 less/theme.less | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/less/theme.less b/less/theme.less
index 52e2d239aa..f7e5036446 100644
--- 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);