Widget bootstrap3 fixes

IPython/html/static/widgets/js/widget_int.js

@@ -164,7 +164,7 @@ define(["widgets/js/widget"], function(WidgetManager){
                 .addClass('widget-hlabel')
                 .hide();
             this.$textbox = $('<input type="text" />')
-                .addClass('input')
+                .addClass('form-control')
                 .addClass('widget-numeric-text')
                 .appendTo(this.$el);
             this.$el_to_style = this.$textbox; // Set default element to style

IPython/html/static/widgets/js/widget_selection.js

@@ -310,7 +310,7 @@ define(["widgets/js/widget"], function(WidgetManager){
                 .addClass('widget-hlabel')
                 .hide();
             this.$listbox = $('<select />')
-                .addClass('widget-listbox')
+                .addClass('widget-listbox form-control')
                 .attr('size', 6)
                 .appendTo(this.$el);
             this.$el_to_style = this.$listbox; // Set default element to style

IPython/html/static/widgets/js/widget_string.js

@@ -65,7 +65,7 @@ define(["widgets/js/widget"], function(WidgetManager){
                 .hide();
             this.$textbox = $('<textarea />')
                 .attr('rows', 5)
-                .addClass('widget-text')
+                .addClass('widget-text form-control')
                 .appendTo(this.$el);
             this.$el_to_style = this.$textbox; // Set default element to style
             this.update(); // Set defaults.
@@ -150,7 +150,7 @@ define(["widgets/js/widget"], function(WidgetManager){
                 .hide();
             this.$textbox = $('<input type="text" />')
                 .addClass('input')
-                .addClass('widget-text')
+                .addClass('widget-text form-control')
                 .appendTo(this.$el);
             this.$el_to_style = this.$textbox; // Set default element to style
             this.update(); // Set defaults.