diff --git a/IPython/html/static/base/less/variables.less b/IPython/html/static/base/less/variables.less
index 46f4f9c..74fc789 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
-// @navbar-height: 36px; Not used it BS3
+@navbar-height: 36px;
 
 code {
   color: @black; // default code color in bootstrap is #d14 (crimson / amaranth)