/* Self-hosted fonts. Replaces the two <link> tags that fetched from
   fonts.googleapis.com, so the pages make no third-party requests and work
   offline, on a network that blocks the CDN, or from a local file.

   Archivo and IBM Plex are both under the SIL Open Font License 1.1, which
   permits redistribution like this; see assets/fonts/OFL.txt.

   Archivo and IBM Plex Sans are VARIABLE fonts sliced to the weight range the
   pages actually use, so one file covers every weight of each. IBM Plex Mono
   has no variable build in Google's repository, so it ships as two statics.
   All four are subset to Latin. Rebuild them with build-fonts.sh.

   font-display:swap means text paints immediately in a fallback face and
   re-renders when the font arrives - better than a blank page on a slow
   connection, and it matters here because students print these. */

@font-face{
  font-family:"Archivo";
  src:url("fonts/archivo-var.woff2") format("woff2-variations"),
      url("fonts/archivo-var.woff2") format("woff2");
  font-weight:500 700;
  font-style:normal;
  font-display:swap;
}

@font-face{
  font-family:"IBM Plex Sans";
  src:url("fonts/plexsans-var.woff2") format("woff2-variations"),
      url("fonts/plexsans-var.woff2") format("woff2");
  font-weight:400 600;
  font-style:normal;
  font-display:swap;
}

@font-face{
  font-family:"IBM Plex Mono";
  src:url("fonts/plexmono-400.woff2") format("woff2");
  font-weight:400;
  font-style:normal;
  font-display:swap;
}

@font-face{
  font-family:"IBM Plex Mono";
  src:url("fonts/plexmono-600.woff2") format("woff2");
  font-weight:600;
  font-style:normal;
  font-display:swap;
}