@font-face {
    font-family: 'font-47804';
    font-style: normal;
    font-weight: normal;
    src: url('https://dl.fontget.com/i/n/inria-serif-family/woff_src/inria-serif.light.woff?token=GCTSkDGnh_qVy6NsMK49BA&expires=1755428002') format('woff');
}

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

            @font-face {
            font-family: 'font-47804-69172';
            font-style: normal;
            font-weight: normal;
            src: url('https://dl.fontget.com/i/n/inria-serif-family/woff_src/inria-serif.light.woff?token=GCTSkDGnh_qVy6NsMK49BA&expires=1755428002') format('woff');
        }

        .css-font-47804-69172 {
            font-family: 'font-47804-69172';
        }
            @font-face {
            font-family: 'font-47804-69173';
            font-style: normal;
            font-weight: normal;
            src: url('https://dl.fontget.com/i/n/inria-serif-family/woff_src/inria-serif.light-italic.woff?token=Uq1fy-VS-96wmBjZctW0gw&expires=1755428002') format('woff');
        }

        .css-font-47804-69173 {
            font-family: 'font-47804-69173';
        }
            @font-face {
            font-family: 'font-47804-69170';
            font-style: normal;
            font-weight: normal;
            src: url('https://dl.fontget.com/i/n/inria-serif-family/woff_src/inria-serif.regular.woff?token=whx9Ky0bvpa1-AVzuNCHuQ&expires=1755428002') format('woff');
        }

        .css-font-47804-69170 {
            font-family: 'font-47804-69170';
        }
            @font-face {
            font-family: 'font-47804-69171';
            font-style: normal;
            font-weight: normal;
            src: url('https://dl.fontget.com/i/n/inria-serif-family/woff_src/inria-serif.italic.woff?token=XGXXrCHqXpnSg-GEUMa3Fg&expires=1755428002') format('woff');
        }

        .css-font-47804-69171 {
            font-family: 'font-47804-69171';
        }
            @font-face {
            font-family: 'font-47804-69174';
            font-style: normal;
            font-weight: normal;
            src: url('https://dl.fontget.com/i/n/inria-serif-family/woff_src/inria-serif.bold.woff?token=mdFeTxOCc-ei8ayFtKIkEA&expires=1755428002') format('woff');
        }

        .css-font-47804-69174 {
            font-family: 'font-47804-69174';
        }
            @font-face {
            font-family: 'font-47804-69175';
            font-style: normal;
            font-weight: normal;
            src: url('https://dl.fontget.com/i/n/inria-serif-family/woff_src/inria-serif.bold-italic.woff?token=LXW-XAfJfctkt0QJJUsqeg&expires=1755428002') format('woff');
        }

        .css-font-47804-69175 {
            font-family: 'font-47804-69175';
        }