/* Generated by scripts/fetch_fonts.py - do not edit by hand.
   Inter and Roboto Mono, both SIL Open Font License. */

@font-face {
    font-family: 'Inter';
    font-style: normal;
    font-weight: 300 700;
    font-display: swap;
    src: url('inter-normal-300-700.woff2') format('woff2');
}

@font-face {
    font-family: 'Roboto Mono';
    font-style: normal;
    font-weight: 400;
    font-display: swap;
    src: url('roboto-mono-normal-400.woff2') format('woff2');
}

@font-face {
    font-family: 'Roboto Mono';
    font-style: normal;
    font-weight: 500;
    font-display: swap;
    src: url('roboto-mono-normal-500.woff2') format('woff2');
}