blob: 29fcbe1ea85f154a5887ac51c3dd02870e0ecd5c (
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
108
109
|
% 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");
/* Body and container */
body {
display: flex;
flex-direction: column;
box-sizing: border-box;
min-height: 100vh;
padding-top: 0;
padding-bottom: 0;
padding-inline-start: calc(48px + 4.6em);
padding-inline-end: 48px;
align-items: center;
justify-content: center;
}
.container {
min-width: 13em;
max-width: 52em;
}
.container.restore-chosen {
display: flex;
flex-direction: column;
flex-grow: 1;
margin: 10vh 0;
}
/* Typography */
.title {
background-image: url("chrome://global/skin/icons/info.svg");
background-position: left 0;
background-repeat: no-repeat;
background-size: 1.6em;
margin-inline-start: -2.3em;
padding-inline-start: 2.3em;
font-size: 2.5em;
}
.title:dir(rtl) {
background-position: right 0;
}
.title-text {
border-bottom: 1px solid #C1C1C1;
font-size: inherit;
padding-bottom: 0.4em;
}
@media (max-width: 675px) {
body {
padding: 0 48px;
}
.title {
background-image: none !important;
padding-inline-start: 0;
margin-inline-start: 0;
}
.title-text {
padding-top: 0;
}
}
ul, ol {
margin: 0;
padding: 0;
margin-inline-start: 1em;
}
ul > li, ol > li {
margin-bottom: .5em;
}
ul {
list-style: disc;
}
/* Buttons */
.button-container {
margin-top: 1.2em;
}
.button-container > button {
min-width: 150px;
}
.button-container > button:first-child {
margin-inline-start: 0;
}
/* Trees */
.tree-container {
margin-top: 1.2em;
flex: 1 0px;
min-height: 12em;
}
.tree-container > tree {
height: 100%;
}
tree {
width: 100%;
}
|
