diff --git a/IPython/html/static/base/less/variables.less b/IPython/html/static/base/less/variables.less
index d57f1d9..e5d1640 100644
--- a/IPython/html/static/base/less/variables.less
+++ b/IPython/html/static/base/less/variables.less
@@ -13,8 +13,9 @@
 @logo_height: 28px;
 @border-radius-small: 1px;
 @border-radius-base: 2px;
-@border-radius-large: 3px;;
+@border-radius-large: 3px;
 @grid-gutter-width: 0px;
+@icon-font-path: "../components/bootstrap/fonts/";
 
 // Disable modal slide-in from top animation.
 .modal {