/* Self-hosted fonts so the app works without an internet connection.
   Variable fonts: one file covers every weight the UI uses. */
@font-face {
    font-family: 'Inter';
    font-style: normal;
    font-display: swap;
    font-weight: 100 900;
    src: url('inter-latin-wght-normal.woff2') format('woff2-variations'),
         url('inter-latin-wght-normal.woff2') format('woff2');
}

@font-face {
    font-family: 'JetBrains Mono';
    font-style: normal;
    font-display: swap;
    font-weight: 100 800;
    src: url('jetbrains-mono-latin-wght-normal.woff2') format('woff2-variations'),
         url('jetbrains-mono-latin-wght-normal.woff2') format('woff2');
}