/* Archivo (wdth 100-125, wght 400-900) and JetBrains Mono (wght 400-700), from github.com/google/fonts (SIL OFL 1.1; licences beside
   these files). Subset to Latin + punctuation, woff2. */
@font-face { font-family: 'Archivo'; src: url(archivo-latin-var.woff2) format('woff2'); font-weight: 400 900; font-stretch: 100% 125%; font-style: normal; font-display: swap; }
@font-face { font-family: 'JetBrains Mono'; src: url(jetbrains-mono-latin-var.woff2) format('woff2'); font-weight: 400 700; font-style: normal; font-display: swap; }