Magic-Mirror/gecko-dev
1
0
Fork 0
mirror of https://github.com/mozilla/gecko-dev.git synced 2025-02-26 20:30:41 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Backed out changeset f4b8bd3d68c8 (bug 1391487)

Browse Source
This commit is contained in:
Sebastian Hengst 2017-08-19 00:31:59 +02:00
parent e7ca33ec9e
commit a94587f51a
1 changed files with 7 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
devtools/client/themes/toolbox.css
View File

@ -43,7 +43,7 @@
.devtools-tabbar {
-moz-appearance: none;
min-height: 29px;
min-height: 24px;
border: 0px solid;
border-bottom-width: 1px;
padding: 0;
@ -79,11 +79,9 @@
/* Set flex attribute to Toolbox buttons and Picker container so,
they don't overlap with the tab bar */
#toolbox-buttons-start,
#toolbox-buttons-end,
#toolbox-option-container,
#toolbox-controls,
#toolbox-dock-buttons {
#toolbox-buttons-end {
display: flex;
align-items: stretch;
}
#toolbox-buttons-start {
@ -265,6 +263,10 @@
/* Toolbox controls */
#toolbox-controls, #toolbox-dock-buttons {
display: flex;
}
/* Save space in Firebug theme */
.theme-firebug #toolbox-controls button {
margin-inline-start: 0 !important;