@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=uPKwxkMti3ThyzzL5Q3GeA&expires=1767392495') 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=uPKwxkMti3ThyzzL5Q3GeA&expires=1767392495') 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=rDb4hzWrmrQ1XCC5jY9fXg&expires=1767392495') 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=eFULyWWXtR23IXlo8zIIOA&expires=1767392495') 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=_mr8qa-wgqt_1udFNp3dEA&expires=1767392495') 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=bXQXXAvwdTT7VaPCynln0A&expires=1767392495') 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=p0Ta6YcmFdM9WdvE00MeQg&expires=1767392495') 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=YulLWOwIx6MZOglObbqCCw&expires=1767392495') 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=VPYn3hQPQmAux8JS8GSVdQ&expires=1767392495') format('woff');
        }

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