css hack n' slash, continued: New styles for checkboxes and radios.

chrome/browser/resources/task_manager/includes.js

 // Copyright (c) 2012 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 // This script includes additional resources via document.write(). Hence, it
 // must be a separate script file loaded before other scripts which would
 // reference the resources.
 
 var css = [
   'chrome_shared.css',
   'list.css',
   'table.css',
   'menu.css',
-  'button.css',
+  'widgets.css',
 ];
 
 var script = [
   'local_strings.js',
   'i18n_template.js',
 
   'event_tracker.js',
   'util.js',
   'cr.js',
   'cr/ui.js',
@@ skipping 58 matching lines @@
       var s = document.createElement('script');
       s.onload = function(e) {
         if (!--remain)
           taskmanager.delayedInitialize();
       };
       s.src = prefix + 'js/' + scriptDelayed[i];
       document.head.appendChild(s);
     }
   };
 })();