@font-face{
  font-family: "DejaVu Sans";
  src: url("./DejaVuSans.woff2") format("woff2");
  font-weight: 400; font-style: normal; font-display: swap;
}
@font-face{
  font-family: "DejaVu Sans";
  src: url("./DejaVuSans-Bold.woff2") format("woff2");
  font-weight: 700; font-style: normal; font-display: swap;
}