From 1ff1dfb2bd031832c725c146deb8b7363cfeadf5 Mon Sep 17 00:00:00 2001
From: Mark Otto <otto@github.com>
Date: Sun, 11 Aug 2013 16:07:45 -0700
Subject: [PATCH] fixes #9348 by ditching a comment

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

diff --git a/less/variables.less b/less/variables.less
index 3a9430e2e6..012f486b1c 100644
--- 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