/* Self-hosted UI fonts for the static pages (the app bundles its own copies). */
@font-face { font-family: Archivo; font-style: normal; font-weight: 400; font-display: swap; src: url(/fonts/archivo-latin-400-normal.woff2) format('woff2'); }
@font-face { font-family: Archivo; font-style: normal; font-weight: 500; font-display: swap; src: url(/fonts/archivo-latin-500-normal.woff2) format('woff2'); }
@font-face { font-family: Archivo; font-style: normal; font-weight: 600; font-display: swap; src: url(/fonts/archivo-latin-600-normal.woff2) format('woff2'); }
@font-face { font-family: Archivo; font-style: normal; font-weight: 700; font-display: swap; src: url(/fonts/archivo-latin-700-normal.woff2) format('woff2'); }
@font-face { font-family: "JetBrains Mono"; font-style: normal; font-weight: 400; font-display: swap; src: url(/fonts/jetbrains-mono-latin-400-normal.woff2) format('woff2'); }
@font-face { font-family: "JetBrains Mono"; font-style: normal; font-weight: 500; font-display: swap; src: url(/fonts/jetbrains-mono-latin-500-normal.woff2) format('woff2'); }
@font-face { font-family: "JetBrains Mono"; font-style: normal; font-weight: 700; font-display: swap; src: url(/fonts/jetbrains-mono-latin-700-normal.woff2) format('woff2'); }