/* The two typefaces, served from our own server. Pages used to fetch them from
   Google Fonts, which hands every visitor's IP address to Google. */
@font-face {
  font-family: 'Inconsolata';
  src: url('fonts/Inconsolata-Light.woff') format('woff');
  font-weight: 300;
  font-style: normal;
  font-display: swap;
}
@font-face {
  font-family: 'Inconsolata';
  src: url('fonts/Inconsolata-Regular.woff') format('woff');
  font-weight: 400;
  font-style: normal;
  font-display: swap;
}
@font-face {
  font-family: 'Inconsolata';
  src: url('fonts/Inconsolata-Bold.woff') format('woff');
  font-weight: 700;
  font-style: normal;
  font-display: swap;
}
@font-face {
  font-family: 'Archivo';
  src: url('fonts/Archivo_regular.woff') format('woff');
  font-weight: 400;
  font-style: normal;
  font-display: swap;
}
/* The only heavier Archivo we have; it stands in for the 600 the pages ask for. */
@font-face {
  font-family: 'Archivo';
  src: url('fonts/Archivo_medium.woff') format('woff');
  font-weight: 600;
  font-style: normal;
  font-display: swap;
}