Added glyphicon update to LESS.

IPython/html/static/base/less/variables.less

@@ -1,59 +1,60
 // Our customizations to bootstrap go here.
 
 @black: #000;
 @text-color: @black;
 @font-size-base: 13px;
 @font-family-monospace: monospace;  // to allow user to customize their fonts
 @navbar-height: 30px;
 @breadcrumb-color: darken(@border_color, 30%);
 @blockquote-font-size: inherit;
 @modal-inner-padding: 15px;
 @grid-float-breakpoint: 541px;
 @screen-xs: 540px;
 @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 {
   &.fade .modal-dialog {
     .translate(0, 0);
   }
 }
 
 // Set the default code color.
 code {
   color: @black; // default code color in bootstrap is #d14 (crimson / amaranth)
 }
 
 // Override bootstrap pre element styling.
 pre {
   // bootstrap has pre defaults that we don't want to inherit.
   // start pre tag defaults based on the surrounding context instead.
   font-size: inherit;
   line-height: inherit;
 }
 
 // Disable bold labels in BS3
 label {
     font-weight: normal;
 }
 
 // Our own global variables for all pages go here
 @global-shadow: 0px 0px 12px 1px rgba(87, 87, 87, 0.2);
 @global-shadow-dark: 0px 0px 12px 1px rgba(87, 87, 87, 0.4);
 @page-header-padding: 20px;
 /* Make the page background atleast 100% the height of the view port */
 @page-backdrop-height: 100vh;
 /* Make the page itself atleast 70% the height of the view port */
 @page-min-height: 0;
 @page-backdrop-color: #EEE;
 @page-color: @body-bg;
 @page-padding: 15px;
 
 // preven container size to jump from 768px to 720px
 // when window width go from 768 to 769+
 @container-sm : @screen-sm-min;