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
|
@import url('https://rsms.me/inter/inter.css');
:root {
font-feature-settings: 'liga' 1, 'calt' 1; /* fix for Chrome */
}
@supports (font-variation-settings: normal) {
:root { font-family: InterVariable, sans-serif; }
}
/* ubuntu-mono-regular - latin */
@font-face {
font-family: "Ubuntu Mono";
font-style: normal;
font-weight: 400;
src: local(""),
url("./fonts/ubuntu-mono-v15-latin-regular.woff2") format("woff2"),
/* Chrome 26+, Opera 23+, Firefox 39+ */
url("./fonts/ubuntu-mono-v15-latin-regular.woff") format("woff"); /* Chrome 6+, Firefox 3.6+, IE 9+, Safari 5.1+ */
}
/* ubuntu-mono-italic - latin */
@font-face {
font-family: "Ubuntu Mono";
font-style: italic;
font-weight: 400;
src: local(""),
url("./fonts/ubuntu-mono-v15-latin-italic.woff2") format("woff2"),
/* Chrome 26+, Opera 23+, Firefox 39+ */
url("./fonts/ubuntu-mono-v15-latin-italic.woff") format("woff"); /* Chrome 6+, Firefox 3.6+, IE 9+, Safari 5.1+ */
}
/* ubuntu-mono-700 - latin */
@font-face {
font-family: "Ubuntu Mono";
font-style: normal;
font-weight: 700;
src: local(""), url("./fonts/ubuntu-mono-v15-latin-700.woff2") format("woff2"),
/* Chrome 26+, Opera 23+, Firefox 39+ */
url("./fonts/ubuntu-mono-v15-latin-700.woff") format("woff"); /* Chrome 6+, Firefox 3.6+, IE 9+, Safari 5.1+ */
}
/* ubuntu-mono-700italic - latin */
@font-face {
font-family: "Ubuntu Mono";
font-style: italic;
font-weight: 700;
src: local(""),
url("./fonts/ubuntu-mono-v15-latin-700italic.woff2") format("woff2"),
/* Chrome 26+, Opera 23+, Firefox 39+ */
url("./fonts/ubuntu-mono-v15-latin-700italic.woff") format("woff"); /* Chrome 6+, Firefox 3.6+, IE 9+, Safari 5.1+ */
}
h2,
h3 {
margin-bottom: 0.5em;
margin-top: 2rem;
}
:target > h1:first-of-type,
:target > h2:first-of-type,
:target > h3:first-of-type,
span:target ~ h1:first-of-type,
span:target ~ h2:first-of-type,
span:target ~ h3:first-of-type,
span:target ~ h4:first-of-type,
span:target ~ h5:first-of-type,
span:target ~ h6:first-of-type {
text-decoration: underline dashed;
text-decoration-thickness: 1px;
}
div.article-container > article {
font-size: 17px;
line-height: 29px;
}
div.admonition {
font-size: 15px;
line-height: 27px;
margin-top: 2em;
margin-bottom: 2em;
}
p.admonition-title {
font-size: 15px !important;
line-height: 20px !important;
}
article > li > a {
font-size: 19px;
line-height: 29px;
}
div.tab-set {
margin-top: 1em;
margin-bottom: 2em;
}
div.tab-set pre {
padding: 1.25em;
}
body .highlight.only_dark {
background: #18181a;
}
|
