diff options
-rw-r--r-- | chrome/browser/resources/extensions_ui.html | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/chrome/browser/resources/extensions_ui.html b/chrome/browser/resources/extensions_ui.html index 21b35446..bd32b23 100644 --- a/chrome/browser/resources/extensions_ui.html +++ b/chrome/browser/resources/extensions_ui.html @@ -17,7 +17,7 @@ a { } div#header { - margin-bottom: 0.75em; + margin-bottom: 1.05em; overflow: hidden; padding-bottom: 1.5em; padding-left: 0; @@ -49,8 +49,8 @@ div.content { 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 @@ body.showDevMode .showInDevMode { .developer-tools-link { font-size: 100%; - margin-right: 9px; + margin-right: 3px; white-space: nowrap; } @@ -573,7 +573,7 @@ function autoUpdate() { <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%"> |