/* Served from this site, not Google Fonts, so visitors' browsers don't
   contact a third party. Each is the variable font's Latin subset, as
   Google Fonts serves it; the licences are beside them. Characters
   outside it, such as the key symbols, come from the system fonts. */
@font-face {
  font-family: 'Archivo';
  font-style: normal;
  font-weight: 100 900;
  font-display: swap;
  src: url(fonts/archivo-latin.woff2) format('woff2');
}

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