@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=f9pPSqNIHGsMzPlpQqp6Lg&expires=1755573444') 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=f9pPSqNIHGsMzPlpQqp6Lg&expires=1755573444') 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=qe_9uKxIp6-etmEXxRZr4A&expires=1755573444') 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=3roStQK_-KtZ077Eqzg4Eg&expires=1755573444') 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=rO1cPIKJdFbDcsekXVChsw&expires=1755573444') 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=JFSxK4i9XT6UhiuUbP758Q&expires=1755573444') 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=GffPiZpG9vCwZuUDYrRARg&expires=1755573444') 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=_jlt6CfhFDN37k6ZQWHulA&expires=1755573444') 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=JurvhmsfgOn4V4xSHBIHPA&expires=1755573444') format('woff');
        }

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