projects / themes.git / blame
| Commit | Line | Data |
|---|---|---|
| d0a8de80 RK |
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; | |
| d0a8de80 | 21 | |
| d0a8de80 RK |
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 | } |