1@font-face {
2    font-family: "IntoneMono NF";
3    src:    local("IntoneMonoNerdFont-Bold"),
4            url("fonts/IntoneMonoNerdFont-Bold.woff2") format("woff2");
5    font-stretch: normal;
6    font-style: normal;
7    font-weight: 700;
8}
9@font-face {
10    font-family: "IntoneMono NF";
11    src:    local("IntoneMonoNerdFont-BoldItalic"),
12            url("fonts/IntoneMonoNerdFont-BoldItalic.woff2") format("woff2");
13    font-stretch: normal;
14    font-style: italic;
15    font-weight: 700;
16}
17@font-face {
18    font-family: "IntoneMono NF";
19    src:    local("IntoneMonoNerdFont-Italic"),
20            url("fonts/IntoneMonoNerdFont-Italic.woff2") format("woff2");
21    font-stretch: normal;
22    font-style: italic;
23    font-weight: 400;
24}
25@font-face {
26    font-family: "IntoneMono NF Light";
27    src:    local("IntoneMonoNerdFont-Light"),
28            url("fonts/IntoneMonoNerdFont-Light.woff2") format("woff2");
29    font-stretch: normal;
30    font-style: normal;
31    font-weight: 300;
32}
33@font-face {
34    font-family: "IntoneMono NF Light";
35    src:    local("IntoneMonoNerdFont-LightItalic"),
36            url("fonts/IntoneMonoNerdFont-LightItalic.woff2") format("woff2");
37    font-stretch: normal;
38    font-style: italic;
39    font-weight: 300;
40}
41@font-face {
42    font-family: "IntoneMono NF Medium";
43    src:    local("IntoneMonoNerdFont-Medium"),
44            url("fonts/IntoneMonoNerdFont-Medium.woff2") format("woff2");
45    font-stretch: normal;
46    font-style: normal;
47    font-weight: 500;
48}
49@font-face {
50    font-family: "IntoneMono NF Medium";
51    src:    local("IntoneMonoNerdFont-MediumItalic"),
52            url("fonts/IntoneMonoNerdFont-MediumItalic.woff2") format("woff2");
53    font-stretch: normal;
54    font-style: italic;
55    font-weight: 500;
56}
57@font-face {
58    font-family: "IntoneMono NF";
59    src:    local("IntoneMonoNerdFont-Regular"),
60            url("fonts/IntoneMonoNerdFont-Regular.woff2") format("woff2");
61    font-stretch: normal;
62    font-style: normal;
63    font-weight: 400;
64}
65@font-face {
66    font-family: "IntoneMono NFM";
67    src:    local("IntoneMonoNerdFontMono-Bold"),
68            url("fonts/IntoneMonoNerdFontMono-Bold.woff2") format("woff2");
69    font-stretch: normal;
70    font-style: normal;
71    font-weight: 700;
72}
73@font-face {
74    font-family: "IntoneMono NFM";
75    src:    local("IntoneMonoNerdFontMono-BoldItalic"),
76            url("fonts/IntoneMonoNerdFontMono-BoldItalic.woff2") format("woff2");
77    font-stretch: normal;
78    font-style: italic;
79    font-weight: 700;
80}
81@font-face {
82    font-family: "IntoneMono NFM";
83    src:    local("IntoneMonoNerdFontMono-Italic"),
84            url("fonts/IntoneMonoNerdFontMono-Italic.woff2") format("woff2");
85    font-stretch: normal;
86    font-style: italic;
87    font-weight: 400;
88}
89@font-face {
90    font-family: "IntoneMono NFM Light";
91    src:    local("IntoneMonoNerdFontMono-Light"),
92            url("fonts/IntoneMonoNerdFontMono-Light.woff2") format("woff2");
93    font-stretch: normal;
94    font-style: normal;
95    font-weight: 300;
96}
97@font-face {
98    font-family: "IntoneMono NFM Light";
99    src:    local("IntoneMonoNerdFontMono-LightItalic"),
100            url("fonts/IntoneMonoNerdFontMono-LightItalic.woff2") format("woff2");
101    font-stretch: normal;
102    font-style: italic;
103    font-weight: 300;
104}
105@font-face {
106    font-family: "IntoneMono NFM Medium";
107    src:    local("IntoneMonoNerdFontMono-Medium"),
108            url("fonts/IntoneMonoNerdFontMono-Medium.woff2") format("woff2");
109    font-stretch: normal;
110    font-style: normal;
111    font-weight: 500;
112}
113@font-face {
114    font-family: "IntoneMono NFM Medium";
115    src:    local("IntoneMonoNerdFontMono-MediumItalic"),
116            url("fonts/IntoneMonoNerdFontMono-MediumItalic.woff2") format("woff2");
117    font-stretch: normal;
118    font-style: italic;
119    font-weight: 500;
120}
121@font-face {
122    font-family: "IntoneMono NFM";
123    src:    local("IntoneMonoNerdFontMono-Regular"),
124            url("fonts/IntoneMonoNerdFontMono-Regular.woff2") format("woff2");
125    font-stretch: normal;
126    font-style: normal;
127    font-weight: 400;
128}
129@font-face {
130    font-family: "IntoneMono NFP";
131    src:    local("IntoneMonoNerdFontPropo-Bold"),
132            url("fonts/IntoneMonoNerdFontPropo-Bold.woff2") format("woff2");
133    font-stretch: normal;
134    font-style: normal;
135    font-weight: 700;
136}
137@font-face {
138    font-family: "IntoneMono NFP";
139    src:    local("IntoneMonoNerdFontPropo-BoldItalic"),
140            url("fonts/IntoneMonoNerdFontPropo-BoldItalic.woff2") format("woff2");
141    font-stretch: normal;
142    font-style: italic;
143    font-weight: 700;
144}
145@font-face {
146    font-family: "IntoneMono NFP";
147    src:    local("IntoneMonoNerdFontPropo-Italic"),
148            url("fonts/IntoneMonoNerdFontPropo-Italic.woff2") format("woff2");
149    font-stretch: normal;
150    font-style: italic;
151    font-weight: 400;
152}
153@font-face {
154    font-family: "IntoneMono NFP Light";
155    src:    local("IntoneMonoNerdFontPropo-Light"),
156            url("fonts/IntoneMonoNerdFontPropo-Light.woff2") format("woff2");
157    font-stretch: normal;
158    font-style: normal;
159    font-weight: 300;
160}
161@font-face {
162    font-family: "IntoneMono NFP Light";
163    src:    local("IntoneMonoNerdFontPropo-LightItalic"),
164            url("fonts/IntoneMonoNerdFontPropo-LightItalic.woff2") format("woff2");
165    font-stretch: normal;
166    font-style: italic;
167    font-weight: 300;
168}
169@font-face {
170    font-family: "IntoneMono NFP Medium";
171    src:    local("IntoneMonoNerdFontPropo-Medium"),
172            url("fonts/IntoneMonoNerdFontPropo-Medium.woff2") format("woff2");
173    font-stretch: normal;
174    font-style: normal;
175    font-weight: 500;
176}
177@font-face {
178    font-family: "IntoneMono NFP Medium";
179    src:    local("IntoneMonoNerdFontPropo-MediumItalic"),
180            url("fonts/IntoneMonoNerdFontPropo-MediumItalic.woff2") format("woff2");
181    font-stretch: normal;
182    font-style: italic;
183    font-weight: 500;
184}
185@font-face {
186    font-family: "IntoneMono NFP";
187    src:    local("IntoneMonoNerdFontPropo-Regular"),
188            url("fonts/IntoneMonoNerdFontPropo-Regular.woff2") format("woff2");
189    font-stretch: normal;
190    font-style: normal;
191    font-weight: 400;
192}
193