author | Brian Grinstead <bgrinstead@mozilla.com> |
Tue, 09 Dec 2014 15:15:46 -0800 | |
changeset 218969 | 2a49de2134508d5b1bdf6d23c510ce7146799626 |
parent 218968 | 22eb2228358f1d31e13e38c9dd00042f0dde06b9 |
child 218970 | f5acd76febf5646bace610d6522cd863d02849d7 |
push id | 27950 |
push user | cbook@mozilla.com |
push date | Wed, 10 Dec 2014 10:58:50 +0000 |
treeherder | autoland@5b01216f97f8 [default view] [failures only] |
perfherder | [talos] [build metrics] [platform microbench] (compared to previous push) |
reviewers | vporof |
bugs | 1109288 |
milestone | 37.0a1 |
first release with | nightly linux32
nightly linux64
nightly mac
nightly win32
nightly win64
|
last release without | nightly linux32
nightly linux64
nightly mac
nightly win32
nightly win64
|
--- a/browser/themes/shared/devtools/toolbars.inc.css +++ b/browser/themes/shared/devtools/toolbars.inc.css @@ -642,17 +642,17 @@ background-image: url("chrome://browser/skin/devtools/command-eyedropper@2x.png"); } } /* Tabs */ .devtools-tabbar { -moz-appearance: none; - min-height: 28px; + min-height: 24px; border: 0px solid; border-bottom-width: 1px; padding: 0; background: var(--theme-tab-toolbar-background); border-bottom-color: var(--theme-splitter-color); } .theme-light .devtools-tabbar { @@ -667,17 +667,17 @@ margin: 0; } .devtools-tab { -moz-appearance: none; -moz-binding: url("chrome://global/content/bindings/general.xml#control-item"); -moz-box-align: center; min-width: 32px; - min-height: 28px; + min-height: 24px; max-width: 127px; margin: 0; padding: 0; border-style: solid; border-width: 0; -moz-border-start-width: 1px; -moz-box-align: center; }