@font-face {
    font-family: 'font-47122';
    font-style: normal;
    font-weight: normal;
    src: url('https://dl.fontget.com/j/e/jetbrains-mono-family/woff_src/jetbrains-mono.regular.woff?token=sP0xWXVAFsAHcJHy79U1WA&expires=1767388033') format('woff');
}

.css-font-47122 {
    font-family: 'font-47122';
}

            @font-face {
            font-family: 'font-47122-67438';
            font-style: normal;
            font-weight: normal;
            src: url('https://dl.fontget.com/j/e/jetbrains-mono-family/woff_src/jetbrains-mono.regular.woff?token=sP0xWXVAFsAHcJHy79U1WA&expires=1767388033') format('woff');
        }

        .css-font-47122-67438 {
            font-family: 'font-47122-67438';
        }
            @font-face {
            font-family: 'font-47122-67439';
            font-style: normal;
            font-weight: normal;
            src: url('https://dl.fontget.com/j/e/jetbrains-mono-family/woff_src/jetbrains-mono.italic.woff?token=KFIfmqQ8dkx5O9fBNZoaNg&expires=1767388033') format('woff');
        }

        .css-font-47122-67439 {
            font-family: 'font-47122-67439';
        }
            @font-face {
            font-family: 'font-47122-67440';
            font-style: normal;
            font-weight: normal;
            src: url('https://dl.fontget.com/j/e/jetbrains-mono-family/woff_src/jetbrains-mono.medium-medium.woff?token=_77emGEW1aiCn8yAX99pkQ&expires=1767388033') format('woff');
        }

        .css-font-47122-67440 {
            font-family: 'font-47122-67440';
        }
            @font-face {
            font-family: 'font-47122-67441';
            font-style: normal;
            font-weight: normal;
            src: url('https://dl.fontget.com/j/e/jetbrains-mono-family/woff_src/jetbrains-mono.medium-med-ita.woff?token=GvpypSpl1EZ-YWmskZHH7Q&expires=1767388033') format('woff');
        }

        .css-font-47122-67441 {
            font-family: 'font-47122-67441';
        }
            @font-face {
            font-family: 'font-47122-67442';
            font-style: normal;
            font-weight: normal;
            src: url('https://dl.fontget.com/j/e/jetbrains-mono-family/woff_src/jetbrains-mono.bold.woff?token=2yt0z11wuI1bHMZ6kt3HZQ&expires=1767388033') format('woff');
        }

        .css-font-47122-67442 {
            font-family: 'font-47122-67442';
        }
            @font-face {
            font-family: 'font-47122-67443';
            font-style: normal;
            font-weight: normal;
            src: url('https://dl.fontget.com/j/e/jetbrains-mono-family/woff_src/jetbrains-mono.bold-italic.woff?token=0ULsYez7SI0XIYPmTbpjJg&expires=1767388033') format('woff');
        }

        .css-font-47122-67443 {
            font-family: 'font-47122-67443';
        }
            @font-face {
            font-family: 'font-47122-67444';
            font-style: normal;
            font-weight: normal;
            src: url('https://dl.fontget.com/j/e/jetbrains-mono-family/woff_src/jetbrains-mono.extrabold-extbd.woff?token=p4VFtFdozvT4ZCEekWC4pg&expires=1767388033') format('woff');
        }

        .css-font-47122-67444 {
            font-family: 'font-47122-67444';
        }
            @font-face {
            font-family: 'font-47122-67445';
            font-style: normal;
            font-weight: normal;
            src: url('https://dl.fontget.com/j/e/jetbrains-mono-family/woff_src/jetbrains-mono.extrabold-exbd-i.woff?token=DySkc2HP_huZtN18zRur1w&expires=1767388033') format('woff');
        }

        .css-font-47122-67445 {
            font-family: 'font-47122-67445';
        }