@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=HmOWqGt949XklX0CLylvWg&expires=1759595773') 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=HmOWqGt949XklX0CLylvWg&expires=1759595773') 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=7GUiHHMId77HKWyxKUo04g&expires=1759595773') 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=4lDPO_WkPW35oTXNMll3wA&expires=1759595773') 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=K6osaVYws1wxVk0s4WEnvw&expires=1759595773') 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=an9YHqDUxvZRe6RuijOzyQ&expires=1759595773') 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=9Ew6k4106QraoRKmn-wVpA&expires=1759595773') 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=DjJMlAVN2RE0XRWGaU0mGg&expires=1759595773') 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=zLPKatZA2wszGw-39rlB3w&expires=1759595773') format('woff');
        }

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