Make maintoolbar select dropdowns look nice

IPython/html/static/notebook/js/maintoolbar.js

@@ -127,6 +127,7 b' var IPython = (function (IPython) {'
         this.element
             .append($('<select/>')
                 .attr('id','cell_type')
+                .addClass('form-control select-xs')
                 // .addClass('ui-widget-content')
                 .append($('<option/>').attr('value','code').text('Code'))
                 .append($('<option/>').attr('value','markdown').text('Markdown'))
@@ -146,6 +147,7 b' var IPython = (function (IPython) {'
         var select = $('<select/>')
             // .addClass('ui-widget-content')
             .attr('id', 'ctb_select')
+            .addClass('form-control select-xs')
             .append($('<option/>').attr('value', '').text('None'));
         this.element.append(label).append(select);
         select.change(function() {

IPython/html/static/notebook/less/toolbar.less

@@ -39,4 +39,13 b''
 
 #maintoolbar .navbar-text {
   float: none;
+  vertical-align: middle;
+  text-align: right;
+  margin-left: 5px;
+  margin-right: 0px;
+  margin-top: 0px
+}
+
+.select-xs {
+  height: @btn_small_height;
 }

IPython/html/static/tree/less/tree.less

@@ -9,7 +9,7 b''
 @dashboard_lr_pad: 7px;
 // These are the total heights of the Bootstrap small and mini buttons. These values
 // are not less variables so we have to track them statically.
-@btn_small_height: 26px;
+@btn_small_height: 24px;
 @btn_mini_height: 22px;
 @dark_dashboard_color: darken(@border_color, 30%);