1@font-face {
2    font-family: "BigBlueTerm437 Nerd Font";
3    src:    local("BigBlueTerm437NerdFont-Regular"),
4            url("fonts/BigBlueTerm437NerdFont-Regular.woff2") format("woff2");
5    font-stretch: normal;
6    font-style: normal;
7    font-weight: 400;
8}
9@font-face {
10    font-family: "BigBlueTerm437 Nerd Font Mono";
11    src:    local("BigBlueTerm437NerdFontMono-Regular"),
12            url("fonts/BigBlueTerm437NerdFontMono-Regular.woff2") format("woff2");
13    font-stretch: normal;
14    font-style: normal;
15    font-weight: 400;
16}
17@font-face {
18    font-family: "BigBlueTerm437 Nerd Font Propo";
19    src:    local("BigBlueTerm437NerdFontPropo-Regular"),
20            url("fonts/BigBlueTerm437NerdFontPropo-Regular.woff2") format("woff2");
21    font-stretch: normal;
22    font-style: normal;
23    font-weight: 400;
24}
25@font-face {
26    font-family: "BigBlueTermPlus Nerd Font";
27    src:    local("BigBlueTermPlusNerdFont-Regular"),
28            url("fonts/BigBlueTermPlusNerdFont-Regular.woff2") format("woff2");
29    font-stretch: normal;
30    font-style: normal;
31    font-weight: 400;
32}
33@font-face {
34    font-family: "BigBlueTermPlus Nerd Font Mono";
35    src:    local("BigBlueTermPlusNerdFontMono-Regular"),
36            url("fonts/BigBlueTermPlusNerdFontMono-Regular.woff2") format("woff2");
37    font-stretch: normal;
38    font-style: normal;
39    font-weight: 400;
40}
41@font-face {
42    font-family: "BigBlueTermPlus Nerd Font Propo";
43    src:    local("BigBlueTermPlusNerdFontPropo-Regular"),
44            url("fonts/BigBlueTermPlusNerdFontPropo-Regular.woff2") format("woff2");
45    font-stretch: normal;
46    font-style: normal;
47    font-weight: 400;
48}
49