/*! Generated by Font Squirrel (https://www.fontsquirrel.com) on January 31, 2022 */

@font-face {
    font-family: 'JetBrains Mono';
    src: url('/fonts/jetbrainsmono-bold-webfont.woff2') format('woff2'),
         url('/fonts/jetbrainsmono-bold-webfont.woff') format('woff');
    font-weight: bold;
    font-style: normal;
}

@font-face {
    font-family: 'JetBrains Mono';
    src: url('/fonts/jetbrainsmono-bolditalic-webfont.woff2') format('woff2'),
         url('/fonts/jetbrainsmono-bolditalic-webfont.woff') format('woff');
    font-weight: bold;
    font-style: italic;
}

@font-face {
    font-family: 'JetBrains Mono';
    src: url('/fonts/jetbrainsmono-italic-webfont.woff2') format('woff2'),
         url('/fonts/jetbrainsmono-italic-webfont.woff') format('woff');
    font-weight: normal;
    font-style: italic;
}

@font-face {
    font-family: 'JetBrains Mono';
    src: url('/fonts/jetbrainsmono-regular-webfont.woff2') format('woff2'),
         url('/fonts/jetbrainsmono-regular-webfont.woff') format('woff');
    font-weight: normal;
    font-style: normal;
}