Bug 951726 - DevTools Themes: Make top tab bar thinner;r=fitzgen
authorBrian Grinstead <bgrinstead@mozilla.com>
Mon, 06 Jan 2014 11:27:30 -0600
changeset 179243 be49376c1bd5faf1cb9d5c94cf7ed074894cd1d2
parent 179242 1a5a6071b1a3a392ae7b7889c4c9cf1590ded1d9
child 179244 ff1038cbc19511c0f74885c1c2e69edd63f46f5d
push id462
push userraliiev@mozilla.com
push dateTue, 22 Apr 2014 00:22:30 +0000
treeherdermozilla-release@ac5db8c74ac0 [default view] [failures only]
perfherder[talos] [build metrics] [platform microbench] (compared to previous push)
reviewersfitzgen
bugs951726
milestone29.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 951726 - DevTools Themes: Make top tab bar thinner;r=fitzgen
browser/themes/shared/devtools/toolbars.inc.css
--- a/browser/themes/shared/devtools/toolbars.inc.css
+++ b/browser/themes/shared/devtools/toolbars.inc.css
@@ -443,33 +443,32 @@
 /* Tabs */
 
 .devtools-tabbar {
   -moz-appearance: none;
   background: #252c33;
   border: 0px solid #000;
   border-bottom-width: 1px;
   box-shadow: 0 -2px 0 rgba(0,0,0,.1) inset;
-  min-height: 32px;
   padding: 0;
 }
 
 #toolbox-tabs {
   margin: 0;
 }
 
 .devtools-tab {
   -moz-binding: url("chrome://global/content/bindings/general.xml#control-item");
   -moz-box-align: center;
 }
 
 .devtools-tab {
   -moz-appearance: none;
   min-width: 32px;
-  min-height: 32px;
+  min-height: 26px;
   max-width: 127px;
   color: #b6babf;
   margin: 0;
   padding: 0;
   -moz-border-start: 1px solid #42484f;
   -moz-box-align: center;
 }