diff options
Diffstat (limited to 'devtools/client/themes/devtools-browser.css')
| -rw-r--r-- | devtools/client/themes/devtools-browser.css | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/devtools/client/themes/devtools-browser.css b/devtools/client/themes/devtools-browser.css new file mode 100644 index 0000000000..bc208e3bc8 --- /dev/null +++ b/devtools/client/themes/devtools-browser.css @@ -0,0 +1,14 @@ +/* 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/. */ + +@import url("chrome://devtools/skin/splitters.css"); +/* Imports the styles that will apply to the browser window for Responsive Design Mode. + This is dynamically loaded when either the toolbox or RDM is open. */ +@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; +} |