WebUI TaskManager: small UI fixes

chrome/browser/resources/task_manager/includes.js

 // Copyright (c) 2011 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',
 ];
 
 var script = [
   'local_strings.js',
   'i18n_template.js',
 
   'util.js',
   'cr.js',
   'cr/ui.js',
   'cr/event_target.js',
@@ skipping 32 matching lines @@
   for (var i = 0; i < css.length; ++i) {
     document.write('<link href="' + prefix + 'css/' + css[i] +
                    '" rel="stylesheet"></link>');
   }
 
   for (var i = 0; i < script.length; ++i) {
     document.write('<script src="' + prefix + 'js/' + script[i] +
                    '"><\/script>');
   }
 })();