Bug 1109288 - Make devtools tabbar have less vertical height;r=vporof
authorBrian Grinstead <bgrinstead@mozilla.com>
Tue, 09 Dec 2014 15:15:46 -0800
changeset 218969 2a49de2134508d5b1bdf6d23c510ce7146799626
parent 218968 22eb2228358f1d31e13e38c9dd00042f0dde06b9
child 218970 f5acd76febf5646bace610d6522cd863d02849d7
push id27950
push usercbook@mozilla.com
push dateWed, 10 Dec 2014 10:58:50 +0000
treeherderautoland@5b01216f97f8 [default view] [failures only]
perfherder[talos] [build metrics] [platform microbench] (compared to previous push)
reviewersvporof
bugs1109288
milestone37.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
Bug 1109288 - Make devtools tabbar have less vertical height;r=vporof
browser/themes/shared/devtools/toolbars.inc.css
--- 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;
 }