fixes #9063: add var for navbar border radius

2026-06-05 16:42:29 +03:00 · 2013-08-05 00:47:23 -07:00
parent 52266cfdcd
commit 11e46845b2
3 changed files with 5 additions and 2 deletions
@@ -219,6 +219,7 @@
@navbar-height:                    50px;
@navbar-color:                     #777;
@navbar-bg:                        #eee;
+@navbar-border-radius:             @border-radius-base;
@navbar-padding-horizontal:        floor(@grid-gutter-width / 2);  // ~15px
@navbar-padding-vertical:          ((@navbar-height - @line-height-computed) / 2);