@font-face {
  font-family: "MaoZedong";
  src: url("/static/main/fonts/MaoZedong.ttf") format("truetype");
  font-display: swap;
}

@font-face {
  font-family: "Early Summer Serif VF";
  src: url("/static/main/fonts/EarlySummerSerif-VF.woff2") format("woff2");
  font-weight: 250 900;
  font-style: normal;
  font-display: swap;
}

@font-face {
  font-family: "Noto Serif SC";
  src: url("/static/main/fonts/NotoSerifSC-VF.woff2") format("woff2");
  font-weight: 200 900;
  font-style: normal;
  font-display: swap;
}

@font-face {
  font-family: "JetBrains Mono";
  src: url("/static/main/fonts/JetBrainsMono-VF.woff2") format("woff2");
  font-weight: 100 800;
  font-style: normal;
  font-display: swap;
}