@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=6WiKFzxjdqeQnECLHJqlHQ&expires=1793909825') 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=6WiKFzxjdqeQnECLHJqlHQ&expires=1793909825') 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=2jLX8DH27un0pEjAQYCN1Q&expires=1793909825') 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=9jUT90Y-eYLpFRJuDZBhTQ&expires=1793909825') 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=wmSnEGrrbVYh5oNq7bG0kw&expires=1793909825') 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=NEHQeXI91J8ZqVnNHCV9kQ&expires=1793909825') 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=ueOTITl16PKoUBoEBTYw-A&expires=1793909825') 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=eCx1qrRy_3xGTE-g5Pdu0w&expires=1793909825') 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=sxv49mzll7ZUW_a-q2Z1xg&expires=1793909825') format('woff');
        }

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