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
|
/* 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/. */
@import url("chrome://global/skin/in-content/common.css");
/** Content area **/
.main-content {
width: min(90%, 1024px);
margin: auto;
}
.page-subsection {
margin-bottom: 2em;
}
.form-entry {
/* Center the labels with their checkboxes */
display: flex;
align-items: center;
margin: 0.3em 0;
}
:disabled + label {
opacity: 0.5;
}
#current-log-modules,
#no-log-modules {
font-family: monospace;
margin-bottom: 1em;
word-break: break-word;
}
#current-log-file,
#no-log-file {
font-family: monospace;
}
#profiler-configuration,
#log-file-configuration {
/* 16px is the size of the radio button, 6px is its margin
* Then it's properly aligned with the text above. */
padding-inline-start: calc(16px + 6px);
}
label {
line-height: 1.8em;
}
input[type=text] {
box-sizing: border-box;
width: 100%;
font-family: monospace;
/* This cancels the default margin applied to all inputs in common-shared.css. */
margin-inline: 0 !important;
}
.button-row > button:first-of-type {
/* This cancels the default margin applied to all buttons in common-shared.css. */
margin-inline-start: 0;
}
.info-box {
padding: 1em;
border-radius: 4px;
}
.info-box-label {
font-weight: 600;
}
#error {
background-color: rgba(240, 40, 40, 0.5);
border: 1px solid rgba(240, 40, 40, 0.6);
}
#some-elements-unavailable {
background-color: var(--in-content-box-info-background);
border-color: var(--in-content-box-border-color);
}
|
