@font-face {
  font-family: "PP Right Serif Mono";
  src: url("PPRightSerifMono-Regular.otf") format("opentype");
  font-display: swap;
}

@font-face {
  font-family: "Fragment Mono";
  src: url("FragmentMono-Regular.ttf") format("truetype");
  font-display: swap;
}

@font-face {
  font-family: "Workbench";
  src: url("Workbench-Regular-VariableFont.ttf") format("truetype");
  font-display: swap;
}