/* vendored from Google Fonts (latin subsets): Archivo (variable width and weight) and JetBrains Mono. OFL licensed. */
@font-face { font-family: 'Archivo'; font-style: normal; font-weight: 400 800; font-stretch: 75% 125%; font-display: swap; src: url(Archivo-400_800.woff2) format('woff2'); }
@font-face { font-family: 'JetBrains Mono'; font-style: normal; font-weight: 400; font-display: swap; src: url(JetBrainsMono-400.woff2) format('woff2'); }
@font-face { font-family: 'JetBrains Mono'; font-style: normal; font-weight: 500; font-display: swap; src: url(JetBrainsMono-500.woff2) format('woff2'); }
@font-face { font-family: 'JetBrains Mono'; font-style: normal; font-weight: 600; font-display: swap; src: url(JetBrainsMono-600.woff2) format('woff2'); }