1@font-face {
2    font-family: "DejaVuSansM Nerd Font";
3    src:    local("DejaVuSansMNerdFont-Bold"),
4            url("fonts/DejaVuSansMNerdFont-Bold.woff2") format("woff2");
5    font-stretch: normal;
6    font-style: normal;
7    font-weight: 700;
8}
9@font-face {
10    font-family: "DejaVuSansM Nerd Font";
11    src:    local("DejaVuSansMNerdFont-BoldOblique"),
12            url("fonts/DejaVuSansMNerdFont-BoldOblique.woff2") format("woff2");
13    font-stretch: normal;
14    font-style: oblique;
15    font-weight: 700;
16}
17@font-face {
18    font-family: "DejaVuSansM Nerd Font";
19    src:    local("DejaVuSansMNerdFont-Oblique"),
20            url("fonts/DejaVuSansMNerdFont-Oblique.woff2") format("woff2");
21    font-stretch: normal;
22    font-style: oblique;
23    font-weight: 400;
24}
25@font-face {
26    font-family: "DejaVuSansM Nerd Font";
27    src:    local("DejaVuSansMNerdFont-Regular"),
28            url("fonts/DejaVuSansMNerdFont-Regular.woff2") format("woff2");
29    font-stretch: normal;
30    font-style: normal;
31    font-weight: 400;
32}
33@font-face {
34    font-family: "DejaVuSansM Nerd Font Mono";
35    src:    local("DejaVuSansMNerdFontMono-Bold"),
36            url("fonts/DejaVuSansMNerdFontMono-Bold.woff2") format("woff2");
37    font-stretch: normal;
38    font-style: normal;
39    font-weight: 700;
40}
41@font-face {
42    font-family: "DejaVuSansM Nerd Font Mono";
43    src:    local("DejaVuSansMNerdFontMono-BoldOblique"),
44            url("fonts/DejaVuSansMNerdFontMono-BoldOblique.woff2") format("woff2");
45    font-stretch: normal;
46    font-style: oblique;
47    font-weight: 700;
48}
49@font-face {
50    font-family: "DejaVuSansM Nerd Font Mono";
51    src:    local("DejaVuSansMNerdFontMono-Oblique"),
52            url("fonts/DejaVuSansMNerdFontMono-Oblique.woff2") format("woff2");
53    font-stretch: normal;
54    font-style: oblique;
55    font-weight: 400;
56}
57@font-face {
58    font-family: "DejaVuSansM Nerd Font Mono";
59    src:    local("DejaVuSansMNerdFontMono-Regular"),
60            url("fonts/DejaVuSansMNerdFontMono-Regular.woff2") format("woff2");
61    font-stretch: normal;
62    font-style: normal;
63    font-weight: 400;
64}
65@font-face {
66    font-family: "DejaVuSansM Nerd Font Propo";
67    src:    local("DejaVuSansMNerdFontPropo-Bold"),
68            url("fonts/DejaVuSansMNerdFontPropo-Bold.woff2") format("woff2");
69    font-stretch: normal;
70    font-style: normal;
71    font-weight: 700;
72}
73@font-face {
74    font-family: "DejaVuSansM Nerd Font Propo";
75    src:    local("DejaVuSansMNerdFontPropo-BoldOblique"),
76            url("fonts/DejaVuSansMNerdFontPropo-BoldOblique.woff2") format("woff2");
77    font-stretch: normal;
78    font-style: oblique;
79    font-weight: 700;
80}
81@font-face {
82    font-family: "DejaVuSansM Nerd Font Propo";
83    src:    local("DejaVuSansMNerdFontPropo-Oblique"),
84            url("fonts/DejaVuSansMNerdFontPropo-Oblique.woff2") format("woff2");
85    font-stretch: normal;
86    font-style: oblique;
87    font-weight: 400;
88}
89@font-face {
90    font-family: "DejaVuSansM Nerd Font Propo";
91    src:    local("DejaVuSansMNerdFontPropo-Regular"),
92            url("fonts/DejaVuSansMNerdFontPropo-Regular.woff2") format("woff2");
93    font-stretch: normal;
94    font-style: normal;
95    font-weight: 400;
96}
97