| Index: chrome/browser/resources/extensions_ui.html
|
| ===================================================================
|
| --- chrome/browser/resources/extensions_ui.html (revision 30324)
|
| +++ chrome/browser/resources/extensions_ui.html (working copy)
|
| @@ -7,12 +7,8 @@
|
| body {
|
| font-size: 87%;
|
| font-family: Helvetica, Arial, sans-serif;
|
| - margin: 0;
|
| + margin: 10px;
|
| min-width: 47em;
|
| - padding-bottom: 0.75em;
|
| - padding-left: 1.5em;
|
| - padding-right: 2em;
|
| - padding-top: 0.75em;
|
| }
|
|
|
| a {
|
| @@ -29,12 +25,12 @@
|
| position: relative;
|
| }
|
| div#header h1 {
|
| - background: url('extensions_ui_page_logo.png') 0px 60% no-repeat;
|
| + background: url('../../app/theme/extensions_section.png') 0px 20px no-repeat;
|
| display: inline;
|
| margin: 0;
|
| - padding-bottom: 35px;
|
| + padding-bottom: 43px;
|
| padding-left: 75px;
|
| - padding-top: 35px;
|
| + padding-top: 40px;
|
| }
|
|
|
| h1 {
|
|
|