diff options
Diffstat (limited to 'arc-firefox-theme/chrome/browser/devtools/common.css')
| -rw-r--r-- | arc-firefox-theme/chrome/browser/devtools/common.css | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/arc-firefox-theme/chrome/browser/devtools/common.css b/arc-firefox-theme/chrome/browser/devtools/common.css index 9cbb98d..0a655c7 100644 --- a/arc-firefox-theme/chrome/browser/devtools/common.css +++ b/arc-firefox-theme/chrome/browser/devtools/common.css @@ -9,6 +9,11 @@ font-size: 80%; } +/* Bottom-docked toolbox minimize transition */ +.devtools-toolbox-bottom-iframe { + transition: margin-bottom .1s; +} + /* Splitters */ .devtools-horizontal-splitter { -moz-appearance: none; @@ -35,6 +40,11 @@ cursor: e-resize; } +.devtools-horizontal-splitter.disabled, +.devtools-side-splitter.disabled { + pointer-events: none; +} + .devtools-toolbox-side-iframe { min-width: 465px; } |