| 1 | /* This Source Code Form is subject to the terms of the Mozilla Public |
| 2 | * License, v. 2.0. If a copy of the MPL was not distributed with this |
| 3 | * file, You can obtain one at http://mozilla.org/MPL/2.0/. */ |
| 4 | |
| 5 | /* This file is loaded by both browser.xul and toolbox.xul. Therefore, rules |
| 6 | defined here can not rely on toolbox.xul variables. */ |
| 7 | |
| 8 | /* Splitters */ |
| 9 | |
| 10 | :root { |
| 11 | /* Define the widths of the draggable areas on each side of a splitter. top |
| 12 | and bottom widths are used for horizontal splitters, inline-start and |
| 13 | inline-end for side splitters.*/ |
| 14 | |
| 15 | --devtools-splitter-top-width: 2px; |
| 16 | --devtools-splitter-bottom-width: 2px; |
| 17 | |
| 18 | /* Small draggable area on inline-start to avoid overlaps on scrollbars.*/ |
| 19 | --devtools-splitter-inline-start-width: 1px; |
| 20 | --devtools-splitter-inline-end-width: 4px; |
| 21 | |
| 22 | /* These variables are used in browser.xul but inside the toolbox they are overridden by --theme-splitter-color */ |
| 23 | --devtools-splitter-color: #9C9CFF; |
| 24 | } |
| 25 | |
| 26 | .devtools-horizontal-splitter, |
| 27 | .devtools-side-splitter { |
| 28 | -moz-appearance: none; |
| 29 | background-image: none; |
| 30 | border: 0; |
| 31 | border-style: solid; |
| 32 | border-color: transparent; |
| 33 | background-color: var(--devtools-splitter-color); |
| 34 | background-clip: content-box; |
| 35 | position: relative; |
| 36 | |
| 37 | box-sizing: border-box; |
| 38 | |
| 39 | /* Positive z-index positions the splitter on top of its siblings and makes |
| 40 | it clickable on both sides. */ |
| 41 | z-index: 1; |
| 42 | } |
| 43 | |
| 44 | .devtools-horizontal-splitter { |
| 45 | min-height: calc(var(--devtools-splitter-top-width) + |
| 46 | var(--devtools-splitter-bottom-width) + 1px); |
| 47 | |
| 48 | border-top-width: var(--devtools-splitter-top-width); |
| 49 | border-bottom-width: var(--devtools-splitter-bottom-width); |
| 50 | |
| 51 | margin-top: calc(-1 * var(--devtools-splitter-top-width) - 1px); |
| 52 | margin-bottom: calc(-1 * var(--devtools-splitter-bottom-width)); |
| 53 | |
| 54 | cursor: n-resize; |
| 55 | } |
| 56 | |
| 57 | .devtools-side-splitter { |
| 58 | min-width: calc(var(--devtools-splitter-inline-start-width) + |
| 59 | var(--devtools-splitter-inline-end-width) + 1px); |
| 60 | |
| 61 | border-inline-start-width: var(--devtools-splitter-inline-start-width); |
| 62 | border-inline-end-width: var(--devtools-splitter-inline-end-width); |
| 63 | |
| 64 | margin-inline-start: calc(-1 * var(--devtools-splitter-inline-start-width) - 1px); |
| 65 | margin-inline-end: calc(-1 * var(--devtools-splitter-inline-end-width)); |
| 66 | |
| 67 | cursor: e-resize; |
| 68 | } |
| 69 | |
| 70 | .devtools-horizontal-splitter.disabled, |
| 71 | .devtools-side-splitter.disabled { |
| 72 | pointer-events: none; |
| 73 | } |