1@font-face {
2    font-family: "MartianMono NF";
3    src:    local("MartianMonoNerdFont-Bold"),
4            url("fonts/MartianMonoNerdFont-Bold.woff2") format("woff2");
5    font-stretch: normal;
6    font-style: normal;
7    font-weight: 700;
8}
9@font-face {
10    font-family: "MartianMono NF Cond";
11    src:    local("MartianMonoNerdFont-CondensedBold"),
12            url("fonts/MartianMonoNerdFont-CondensedBold.woff2") format("woff2");
13    font-stretch: condensed;
14    font-style: normal;
15    font-weight: 700;
16}
17@font-face {
18    font-family: "MartianMono NF Cond Med";
19    src:    local("MartianMonoNerdFont-CondensedMedium"),
20            url("fonts/MartianMonoNerdFont-CondensedMedium.woff2") format("woff2");
21    font-stretch: condensed;
22    font-style: normal;
23    font-weight: 500;
24}
25@font-face {
26    font-family: "MartianMono NF Cond";
27    src:    local("MartianMonoNerdFont-CondensedRegular"),
28            url("fonts/MartianMonoNerdFont-CondensedRegular.woff2") format("woff2");
29    font-stretch: condensed;
30    font-style: normal;
31    font-weight: 400;
32}
33@font-face {
34    font-family: "MartianMono NF Med";
35    src:    local("MartianMonoNerdFont-Medium"),
36            url("fonts/MartianMonoNerdFont-Medium.woff2") format("woff2");
37    font-stretch: normal;
38    font-style: normal;
39    font-weight: 500;
40}
41@font-face {
42    font-family: "MartianMono NF";
43    src:    local("MartianMonoNerdFont-Regular"),
44            url("fonts/MartianMonoNerdFont-Regular.woff2") format("woff2");
45    font-stretch: normal;
46    font-style: normal;
47    font-weight: 400;
48}
49@font-face {
50    font-family: "MartianMono NFM";
51    src:    local("MartianMonoNerdFontMono-Bold"),
52            url("fonts/MartianMonoNerdFontMono-Bold.woff2") format("woff2");
53    font-stretch: normal;
54    font-style: normal;
55    font-weight: 700;
56}
57@font-face {
58    font-family: "MartianMono NFM Cond";
59    src:    local("MartianMonoNerdFontMono-CondensedBold"),
60            url("fonts/MartianMonoNerdFontMono-CondensedBold.woff2") format("woff2");
61    font-stretch: condensed;
62    font-style: normal;
63    font-weight: 700;
64}
65@font-face {
66    font-family: "MartianMono NFM Cond Med";
67    src:    local("MartianMonoNerdFontMono-CondensedMedium"),
68            url("fonts/MartianMonoNerdFontMono-CondensedMedium.woff2") format("woff2");
69    font-stretch: condensed;
70    font-style: normal;
71    font-weight: 500;
72}
73@font-face {
74    font-family: "MartianMono NFM Cond";
75    src:    local("MartianMonoNerdFontMono-CondensedRegular"),
76            url("fonts/MartianMonoNerdFontMono-CondensedRegular.woff2") format("woff2");
77    font-stretch: condensed;
78    font-style: normal;
79    font-weight: 400;
80}
81@font-face {
82    font-family: "MartianMono NFM Med";
83    src:    local("MartianMonoNerdFontMono-Medium"),
84            url("fonts/MartianMonoNerdFontMono-Medium.woff2") format("woff2");
85    font-stretch: normal;
86    font-style: normal;
87    font-weight: 500;
88}
89@font-face {
90    font-family: "MartianMono NFM";
91    src:    local("MartianMonoNerdFontMono-Regular"),
92            url("fonts/MartianMonoNerdFontMono-Regular.woff2") format("woff2");
93    font-stretch: normal;
94    font-style: normal;
95    font-weight: 400;
96}
97@font-face {
98    font-family: "MartianMono NFP";
99    src:    local("MartianMonoNerdFontPropo-Bold"),
100            url("fonts/MartianMonoNerdFontPropo-Bold.woff2") format("woff2");
101    font-stretch: normal;
102    font-style: normal;
103    font-weight: 700;
104}
105@font-face {
106    font-family: "MartianMono NFP Cond";
107    src:    local("MartianMonoNerdFontPropo-CondensedBold"),
108            url("fonts/MartianMonoNerdFontPropo-CondensedBold.woff2") format("woff2");
109    font-stretch: condensed;
110    font-style: normal;
111    font-weight: 700;
112}
113@font-face {
114    font-family: "MartianMono NFP Cond Med";
115    src:    local("MartianMonoNerdFontPropo-CondensedMedium"),
116            url("fonts/MartianMonoNerdFontPropo-CondensedMedium.woff2") format("woff2");
117    font-stretch: condensed;
118    font-style: normal;
119    font-weight: 500;
120}
121@font-face {
122    font-family: "MartianMono NFP Cond";
123    src:    local("MartianMonoNerdFontPropo-CondensedRegular"),
124            url("fonts/MartianMonoNerdFontPropo-CondensedRegular.woff2") format("woff2");
125    font-stretch: condensed;
126    font-style: normal;
127    font-weight: 400;
128}
129@font-face {
130    font-family: "MartianMono NFP Med";
131    src:    local("MartianMonoNerdFontPropo-Medium"),
132            url("fonts/MartianMonoNerdFontPropo-Medium.woff2") format("woff2");
133    font-stretch: normal;
134    font-style: normal;
135    font-weight: 500;
136}
137@font-face {
138    font-family: "MartianMono NFP";
139    src:    local("MartianMonoNerdFontPropo-Regular"),
140            url("fonts/MartianMonoNerdFontPropo-Regular.woff2") format("woff2");
141    font-stretch: normal;
142    font-style: normal;
143    font-weight: 400;
144}
145