Bug 1109288 - Make devtools tabbar have less vertical height;r=vporof

This commit is contained in:
Brian Grinstead 2014-12-09 15:15:46 -08:00
parent b4e2d8a9d7
commit 4f7131cded

View File

@ -647,7 +647,7 @@
.devtools-tabbar {
-moz-appearance: none;
min-height: 28px;
min-height: 24px;
border: 0px solid;
border-bottom-width: 1px;
padding: 0;
@ -672,7 +672,7 @@
-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;