diff --git a/IPython/html/static/base/less/variables.less b/IPython/html/static/base/less/variables.less
index f4340ace9..46f4f9c20 100644
--- a/IPython/html/static/base/less/variables.less
+++ b/IPython/html/static/base/less/variables.less
@@ -4,7 +4,7 @@
@text-color: @black;
@font-size-base: 13px;
@font-family-monospace: monospace; // to allow user to customize their fonts
-// @navbarHeight: 36px; Not used it BS3
+// @navbar-height: 36px; Not used it BS3
code {
color: @black; // default code color in bootstrap is #d14 (crimson / amaranth)