@font-face{
    font-family: "jetbrains-mono-regular";
    font-weight: normal;
    font-style: normal;
    src:url("JetBrainsMono-Regular.woff2") format("woff2"),
        url("JetBrainsMono-Regular.woff") format("woff");
}

@font-face{
    font-family: "jetbrains-mono-bold";
    font-weight: normal;
    font-style: normal;
    src:url("JetBrainsMono-Bold.woff2") format("woff2"),
        url("JetBrainsMono-Bold.woff") format("woff");
}