Use widgets.css directly in examples

Author: SylvainCorlay

examples/web1/index.js

@@ -1,7 +1,7 @@
 // Create a widget manager instance.
 var WidgetManager = require('./manager').WidgetManager;
 
-require('@jupyter-widgets/controls/css/widgets.built.css');
+require('@jupyter-widgets/controls/css/widgets.css');
 
 document.addEventListener("DOMContentLoaded", function(event) {
     var manager = new WidgetManager(document.body);

examples/web2/index.js

@@ -3,7 +3,7 @@ require("codemirror/lib/codemirror.css");
 require("codemirror/mode/python/python");
 var WidgetManager = require("./manager").WidgetManager;
 
-require('@jupyter-widgets/controls/css/widgets.built.css');
+require('@jupyter-widgets/controls/css/widgets.css');
 require('font-awesome/css/font-awesome.css');
 
 document.addEventListener("DOMContentLoaded", function(event) {

packages/controls/css/widgets.css

@@ -2,9 +2,5 @@
  * Distributed under the terms of the Modified BSD License.
  */
 
- /* We import all of these together in a single css file because the Webpack
-loader sees only one file at a time. This allows postcss to see the variable
-definitions when they are used. */
-
 @import "./labvariables.css";
 @import "./widgets-base.css";