WebUI TaskManager: small UI fixes

chrome/browser/resources/task_manager/task_manager.css

Index: chrome/browser/resources/task_manager/task_manager.css
diff --git a/chrome/browser/resources/task_manager/task_manager.css b/chrome/browser/resources/task_manager/task_manager.css
index cc8fc04e61588d2f5ae58859c82ac6f1f6d40d30..d43720d4bf16d39f47e8a3d6dd8c3700eaff3387 100644
--- a/chrome/browser/resources/task_manager/task_manager.css
+++ b/chrome/browser/resources/task_manager/task_manager.css
@@ -9,6 +9,10 @@
   padding: 0;
 }
 
+html {
+  overflow: hidden;
+}
+
 /* Outer frame of the dialog. */
 body {
   -webkit-box-orient: vertical;
@@ -40,7 +44,7 @@ body {
   border: 1px #aaa solid;
   border-radius: 3px;
   display: -webkit-box;
-  margin: 4px;
+  margin: 4px 4px 2px 4px;

[mazda, 2011/11/10 05:37:37]

This can be written as follows.
margin: 4px 4px 2px;

[yoshiki, 2011/11/10 06:20:56]

Done.

 }
 
 /* Column text containers. */
@@ -139,7 +143,7 @@ body {
 /* Container for footer area. */
 .dialog-footer {
   display: -webkit-box;
-  margin: 4px;
+  margin: 2px 4px 4px 4px;

[mazda, 2011/11/10 05:37:37]

margin: 2px 4px 4px;

[yoshiki, 2011/11/10 06:20:56]

Done.

 }
 
 /* Container for the ok/cancel buttons. */
@@ -163,5 +167,4 @@ body {
 
 button {
   margin: 2px 0 2px 8px;
-  padding: 1px 6px;
 }