A bit of polish for the extensions page....

chrome/browser/resources/extensions_ui.html

Index: chrome/browser/resources/extensions_ui.html
===================================================================
--- chrome/browser/resources/extensions_ui.html	(revision 30386)
+++ chrome/browser/resources/extensions_ui.html	(working copy)
@@ -17,7 +17,7 @@
 }
 
 div#header {
-  margin-bottom: 0.75em;
+  margin-bottom: 1.05em;
   overflow: hidden;
   padding-bottom: 1.5em;
   padding-left: 0;
@@ -49,8 +49,8 @@
   background: #ebeff9;
   border-top: 1px solid #b5c7de;
   font-size: 95%;
-  padding-bottom: 3px;
-  padding-left: 10px;
+  padding-bottom: 2px;
+  padding-left: 5px;
   padding-top: 3px;
   width: 100%;
 }
@@ -101,7 +101,7 @@
 
 .developer-tools-link {
   font-size: 100%;
-  margin-right: 9px;
+  margin-right: 3px;
   white-space: nowrap;
 }
 
@@ -573,7 +573,7 @@
     <div id="extensionTemplate">
 
       <div id="container" class="vbox-container">
-      <div id="top" class="wbox" style="padding-right: 10px">
+      <div id="top" class="wbox" style="padding-right: 5px">
 
         <div class="section-header">
           <table cellpadding="0" cellspacing="0" width="100%">