blob: 85b475a875ab921976d50028a24e3fb98768b1db (
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
|
/* 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 {
/* Typography from Photon */
/* See https://firefox-dev.tools/photon/visuals/typography.html */
--caption-10-font-size: 11px;
--caption-10-font-weight: 400;
--body-10-font-size: 13px;
--body-10-font-weight: 400;
--body-20-font-size: 15px;
--body-20-font-weight: 400;
--body-20-font-weight-bold: 700;
--title-10-font-size: 13px;
--title-10-font-weight: 600;
--title-20-font-size: 17px;
--title-20-font-weight: 400;
--title-30-font-size: 22px;
/* Global styles */
--base-line-height: 1.8;
--list-line-height: 1.25;
/* Global colours */
--separator-color: var(--theme-splitter-color);
--bg-color: var(--theme-toolbar-background);
--highlight-color: var(--theme-toolbar-background-hover);
/* extra, raw colors */
--blue-50-a30: rgba(10, 132, 255, 0.3);
/* Global layout vars */
--base-unit: 4px;
/* these are the color for icons in empty pages - note that these are not
available in devtools' variables.css */
--dimmed-icon-color: #d3d3d3;
}
:root.theme-dark {
--dimmed-icon-color: #484848;
}
/*
* Reset some tags
*/
* {
box-sizing: border-box;
}
body {
margin: 0;
padding: 0;
line-height: var(--base-line-height);
}
ul {
line-height: var(--list-line-height);
}
a {
color: var(--theme-link-color);
text-decoration: underline;
cursor: pointer;
}
p {
margin: 0;
}
table {
border-spacing: 0;
}
/*
* utility classes
*/
.technical-text {
font-family: monospace;
}
|
