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 | } |