Emilio Cobos Álvarez
f7551929f8
gNotificationBox doesn't go there anymore (it goes inside the toolbox), so we have really no use for that. Simplify how the devtools theme is set on the browser, so that it is set on the root. Differential Revision: https://phabricator.services.mozilla.com/D220769
15 lines
657 B
CSS
15 lines
657 B
CSS
/* This Source Code Form is subject to the terms of the Mozilla Public
|
|
* License, v. 2.0. If a copy of the MPL was not distributed with this
|
|
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */
|
|
|
|
/* This file is dynamically loaded when either the toolbox or RDM is open. */
|
|
|
|
@import url("chrome://devtools/skin/splitters.css");
|
|
@import url("chrome://devtools/content/responsive/responsive-browser.css");
|
|
|
|
/* Set min-height to 29px as it matches the height of the .devtools-tabbar (/devtools/client/themes/toolbox.css#67)
|
|
* This prevents the shrinking of the toolbox until it disappears. */
|
|
.devtools-toolbox-bottom-iframe {
|
|
min-height: 29px;
|
|
}
|