/* Bundled rather than loaded from Google Fonts so that the page doesn't hand
   visitors' IP addresses to a third party. Variable fonts: one file covers
   every weight. The page has no italics, so only the upright styles ship. */
@font-face {
  font-family: "Source Sans 3";
  src: url("SourceSans3VF-Upright.ttf.woff2") format("woff2");
  font-weight: 200 900;
  font-style: normal;
  font-display: swap;
}
@font-face {
  font-family: "Source Code Pro";
  src: url("SourceCodeVF-Upright.ttf.woff2") format("woff2");
  font-weight: 200 900;
  font-style: normal;
  font-display: swap;
}