/* Self-hosted. NOT linked from Google: we told a prospect in writing that loading fonts from
   Google sends the visitor IP to Google, so our own site must not do it. Latin subset only. */
@font-face{
  font-family:"Source Serif 4";
  font-style:normal;
  font-weight:400 600;
  font-display:swap;
  src:url("/fonts/sourceserif4-400_600.woff2") format("woff2");
}
@font-face{
  font-family:"IBM Plex Mono";
  font-style:normal;
  font-weight:400;
  font-display:swap;
  src:url("/fonts/plexmono-400.woff2") format("woff2");
}
@font-face{
  font-family:"IBM Plex Mono";
  font-style:normal;
  font-weight:500;
  font-display:swap;
  src:url("/fonts/plexmono-500.woff2") format("woff2");
}
@font-face{
  font-family:"Plus Jakarta Sans";
  font-style:normal;
  font-weight:400 800;
  font-display:swap;
  src:url("/fonts/jakarta.woff2") format("woff2");
}