From 5f8de423f190bbb79a62f804151bc24824fa32d8 Mon Sep 17 00:00:00 2001 From: "Matt A. Tobin" Date: Fri, 2 Feb 2018 04:16:08 -0500 Subject: Add m-esr52 at 52.6.0 --- devtools/client/themes/splitters.css | 80 ++++++++++++++++++++++++++++++++++++ 1 file changed, 80 insertions(+) create mode 100644 devtools/client/themes/splitters.css (limited to 'devtools/client/themes/splitters.css') diff --git a/devtools/client/themes/splitters.css b/devtools/client/themes/splitters.css new file mode 100644 index 000000000..ade867d52 --- /dev/null +++ b/devtools/client/themes/splitters.css @@ -0,0 +1,80 @@ +/* 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 loaded by both browser.xul and toolbox.xul. Therefore, rules + defined here can not rely on toolbox.xul variables. */ + +/* Splitters */ + +:root { + /* Define the widths of the draggable areas on each side of a splitter. top + and bottom widths are used for horizontal splitters, inline-start and + inline-end for side splitters.*/ + + --devtools-splitter-top-width: 2px; + --devtools-splitter-bottom-width: 2px; + + /* Small draggable area on inline-start to avoid overlaps on scrollbars.*/ + --devtools-splitter-inline-start-width: 1px; + --devtools-splitter-inline-end-width: 4px; +} + +:root[devtoolstheme="light"] { + /* These variables are used in browser.xul but inside the toolbox they are overridden by --theme-splitter-color */ + --devtools-splitter-color: #dde1e4; +} + +:root[devtoolstheme="dark"], +:root[devtoolstheme="firebug"] { + --devtools-splitter-color: #42484f; +} + +.devtools-horizontal-splitter, +.devtools-side-splitter { + -moz-appearance: none; + background-image: none; + border: 0; + border-style: solid; + border-color: transparent; + background-color: var(--devtools-splitter-color); + background-clip: content-box; + position: relative; + + box-sizing: border-box; + + /* Positive z-index positions the splitter on top of its siblings and makes + it clickable on both sides. */ + z-index: 1; +} + +.devtools-horizontal-splitter { + min-height: calc(var(--devtools-splitter-top-width) + + var(--devtools-splitter-bottom-width) + 1px); + + border-top-width: var(--devtools-splitter-top-width); + border-bottom-width: var(--devtools-splitter-bottom-width); + + margin-top: calc(-1 * var(--devtools-splitter-top-width) - 1px); + margin-bottom: calc(-1 * var(--devtools-splitter-bottom-width)); + + cursor: n-resize; +} + +.devtools-side-splitter { + min-width: calc(var(--devtools-splitter-inline-start-width) + + var(--devtools-splitter-inline-end-width) + 1px); + + border-inline-start-width: var(--devtools-splitter-inline-start-width); + border-inline-end-width: var(--devtools-splitter-inline-end-width); + + margin-inline-start: calc(-1 * var(--devtools-splitter-inline-start-width) - 1px); + margin-inline-end: calc(-1 * var(--devtools-splitter-inline-end-width)); + + cursor: e-resize; +} + +.devtools-horizontal-splitter.disabled, +.devtools-side-splitter.disabled { + pointer-events: none; +} -- cgit v1.2.3