/* Unmodified self-hosted fonts. Licenses and provenance are beside each file. */
@font-face {
  font-family: "IBM 3270";
  src: url("./ibm-3270/3270-Regular.woff") format("woff");
  font-style: normal;
  font-weight: 400;
  font-display: swap;
}
@font-face {
  font-family: "Share Tech Mono";
  src: url("./share-tech-mono/ShareTechMono-Regular.ttf") format("truetype");
  font-style: normal;
  font-weight: 400;
  font-display: swap;
}
@font-face {
  font-family: "W95FA";
  src: url("./w95fa/w95fa.woff2") format("woff2");
  font-style: normal;
  font-weight: 400;
  font-display: swap;
}
@font-face {
  font-family: "VT323";
  src: url("./vt323/VT323-Regular.ttf") format("truetype");
  font-style: normal;
  font-weight: 400;
  font-display: swap;
}