diff options
Diffstat (limited to 'devtools/client/themes/devtools-browser.css')
-rw-r--r-- | devtools/client/themes/devtools-browser.css | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/devtools/client/themes/devtools-browser.css b/devtools/client/themes/devtools-browser.css new file mode 100644 index 000000000..de846b8f3 --- /dev/null +++ b/devtools/client/themes/devtools-browser.css @@ -0,0 +1,26 @@ +/* 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("resource://devtools/client/themes/splitters.css"); + +/* Bottom-docked toolbox minimize transition */ +.devtools-toolbox-bottom-iframe { + transition: margin-bottom .1s; +} + +.devtools-toolbox-side-iframe { + min-width: 465px; +} + +/* Eyedropper Widget */ +/* <panel> added to mainPopupSet */ + +.devtools-eyedropper-panel { + pointer-events: none; + -moz-appearance: none; + width: 156px; + height: 120px; + background-color: transparent; + border: none; +} |