@font-face { font-family: "Noto Sans CJK SC"; src: url("NotoSansCJKsc-Regular.otf"); font-weight: 400; font-style: normal; }
@font-face { font-family: "Noto Sans CJK SC"; src: url("NotoSansCJKsc-Medium.otf"); font-weight: 500; font-style: normal; }
@font-face { font-family: "Noto Sans CJK SC"; src: url("NotoSansCJKsc-Bold.otf"); font-weight: 700; font-style: normal; }
@font-face { font-family: "Inter"; src: url("Inter-Medium.otf"); font-weight: 500; font-style: normal; }
@font-face { font-family: "Inter"; src: url("Inter-SemiBold.otf"); font-weight: 600; font-style: normal; }
@font-face { font-family: "Inter"; src: url("Inter-Bold.otf"); font-weight: 700; font-style: normal; }
@font-face { font-family: "DejaVu Sans Mono"; src: url("DejaVuSansMono.ttf"); font-weight: 400; font-style: normal; }
@font-face { font-family: "DejaVu Sans Mono"; src: url("DejaVuSansMono-Bold.ttf"); font-weight: 700; font-style: normal; }