@font-face{
  font-family:"Space Grotesk";
  src:url("space-grotesk-700.woff2") format("woff2");
  font-weight:700;font-style:normal;font-display:swap;
}
@font-face{
  font-family:"Plex Mono";
  src:url("plex-mono-400.woff2") format("woff2");
  font-weight:400;font-style:normal;font-display:swap;
}
@font-face{
  font-family:"Plex Mono";
  src:url("plex-mono-500.woff2") format("woff2");
  font-weight:500;font-style:normal;font-display:swap;
}