fixes #9348 by ditching a comment

diff --git a/less/variables.less b/less/variables.less
index 3a9430e2e631702f6ef7320083e6e68e2d01b9d7..012f486b1c97827400ac657e6e5f19512f7c8984 100644 (file)
--- a/less/variables.less
+++ b/less/variables.less
@@ -226,7 +226,7 @@
 @navbar-color:                     #777;
 @navbar-bg:                        #eee;
 @navbar-border-radius:             @border-radius-base;
-@navbar-padding-horizontal:        floor(@grid-gutter-width / 2);  // ~15px
+@navbar-padding-horizontal:        floor(@grid-gutter-width / 2);
 @navbar-padding-vertical:          ((@navbar-height - @line-height-computed) / 2);
 
 // Navbar links