blob: 4aad29e7b666cc971151e79d50670ea423f6f932 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
|
/* 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/. */
:root{
-moz-user-select: none;
}
#options-panel-container {
overflow: auto;
}
#options-panel {
display: block;
}
.options-vertical-pane {
display: inline;
float: left;
}
.options-vertical-pane {
margin: 5px;
width: calc(100%/3 - 10px);
min-width: 320px;
padding-inline-start: 5px;
box-sizing: border-box;
}
/* Snap to 50% width once there is not room for 3 columns anymore.
This prevents having 2 columns showing in a row, but taking up
only ~66% of the available space. */
@media (max-width: 1000px) {
.options-vertical-pane {
width: calc(100%/2 - 10px);
}
}
.options-vertical-pane fieldset {
border: none;
}
.options-vertical-pane fieldset legend {
font-size: 1.4rem;
margin-inline-start: -15px;
margin-bottom: 3px;
cursor: default;
}
.options-vertical-pane fieldset + fieldset {
margin-top: 1rem;
}
.options-groupbox {
margin-inline-start: 15px;
padding: 2px;
}
.options-groupbox label {
display: flex;
padding: 4px 0;
align-items: center;
}
/* Add padding for label of select inputs in order to
align it with surrounding checkboxes */
.options-groupbox label span:first-child {
padding-inline-start: 5px;
}
.options-groupbox label span + select {
margin-inline-start: 4px;
}
.options-groupbox.horizontal-options-groupbox label {
display: inline-flex;
align-items: flex-end;
}
.options-groupbox.horizontal-options-groupbox label + label {
margin-inline-start: 4px;
}
.options-groupbox > *,
.options-groupbox > .hidden-labels-box > checkbox {
padding: 2px;
}
.options-groupbox > .hidden-labels-box {
padding: 0;
}
.options-citation-label {
display: inline-block;
font-size: 1rem;
font-style: italic;
/* To align it with the checkbox */
padding: 4px 0 0;
padding-inline-end: 4px;
}
#devtools-sourceeditor-keybinding-select {
min-width: 130px;
}
#devtools-sourceeditor-tabsize-select {
min-width: 80px;
}
|
