mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-10-22 09:45:41 +00:00
531db1c457
MozReview-Commit-ID: gOvvF9bcDT --HG-- extra : rebase_source : b6220ca4645a7cc64b0563b120c178f895a7ba39
28 lines
741 B
CSS
28 lines
741 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/. */
|
|
|
|
@import url("resource://devtools/client/themes/splitters.css");
|
|
@import url("resource://devtools/client/themes/commandline-browser.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;
|
|
}
|