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
110
111
112
113
114
115
116
117
118
119
120
|
/* @import url("https://fonts.googleapis.com/css2?family=Mali:ital,wght@0,400;0,700;1,400;1,700&display=swap"); */
/* @import url("https://fonts.googleapis.com/css2?family=Noto+Sans+JP:wght@400;700&display=swap"); */
@font-face {
font-family: "Comic Code Regular";
src: url("../fonts/COCOLGR.otf") format("opentype");
font-weight: normal;
font-style: normal;
}
/* Mali: Bold, BoldItalic, ExtraLight, ExtraLightItalic, Italic, Light, LightItalic, Medium, MediumItalic, Regular, SemiBold, SemiBoldItalic */
@font-face {
font-family: "Mali";
font-weight: 200;
font-style: normal;
src: url("../fonts/Mali/Mali-ExtraLight.ttf") format("truetype");
}
@font-face {
font-family: "Mali";
font-weight: 200;
font-style: italic;
src: url("../fonts/Mali/Mali-ExtraLightItalic.ttf") format("truetype");
}
@font-face {
font-family: "Mali";
font-weight: 300;
font-style: normal;
src: url("../fonts/Mali/Mali-Light.ttf") format("truetype");
}
@font-face {
font-family: "Mali";
font-weight: 300;
font-style: italic;
src: url("../fonts/Mali/Mali-LightItalic.ttf") format("truetype");
}
@font-face {
font-family: "Mali";
font-weight: 400;
font-style: normal;
src: url("../fonts/Mali/Mali-Regular.ttf") format("truetype");
}
@font-face {
font-family: "Mali";
font-weight: 400;
font-style: italic;
src: url("../fonts/Mali/Mali-Italic.ttf") format("truetype");
}
@font-face {
font-family: "Mali";
font-weight: 500;
font-style: normal;
src: url("../fonts/Mali/Mali-Medium.ttf") format("truetype");
}
@font-face {
font-family: "Mali";
font-weight: 500;
font-style: italic;
src: url("../fonts/Mali/Mali-MediumItalic.ttf") format("truetype");
}
@font-face {
font-family: "Mali";
font-weight: 600;
font-style: normal;
src: url("../fonts/Mali/Mali-SemiBold.ttf") format("truetype");
}
@font-face {
font-family: "Mali";
font-weight: 600;
font-style: italic;
src: url("../fonts/Mali/Mali-SemiBoldItalic.ttf") format("truetype");
}
@font-face {
font-family: "Mali";
font-weight: 700;
font-style: normal;
src: url("../fonts/Mali/Mali-Bold.ttf") format("truetype");
}
@font-face {
font-family: "Mali";
font-weight: 700;
font-style: italic;
src: url("../fonts/Mali/Mali-BoldItalic.ttf") format("truetype");
}
/* Noto Sans JP - Variable */
@font-face {
font-family: "Noto Sans JP";
src: url("../fonts/Noto_Sans_JP/NotoSansJP-VariableFont_wght.ttf")
format("truetype-variations");
font-weight: 100 900;
}
.linenos,
code {
font-family: "Comic Code Regular", sans-serif;
}
.linenos > .linenodiv > pre {
line-height: 125%;
}
.en {
font-family: "Mali", sans-serif;
}
body.ja,
.ja {
font-family: "Noto Sans JP", sans-serif;
}
|
