/* 由 _build/make-fonts.py 生成：网站自带的字体（只含网站用到的字），国内访问不依赖 Google Fonts */
@font-face { font-family: "Noto Sans SC"; src: url("noto-sans-sc.woff2") format("woff2"); font-weight: 200 500; font-style: normal; font-display: swap; }
@font-face { font-family: "Inter Tight"; src: url("inter-tight.woff2") format("woff2"); font-weight: 200 500; font-style: normal; font-display: swap; }
@font-face { font-family: "Inter Tight"; src: url("inter-tight-italic.woff2") format("woff2"); font-weight: 200 400; font-style: italic; font-display: swap; }
@font-face { font-family: "Instrument Serif"; src: url("instrument-serif.woff2") format("woff2"); font-weight: 400; font-style: normal; font-display: swap; }
@font-face { font-family: "Instrument Serif"; src: url("instrument-serif-italic.woff2") format("woff2"); font-weight: 400; font-style: italic; font-display: swap; }
@font-face { font-family: "JetBrains Mono"; src: url("jetbrains-mono.woff2") format("woff2"); font-weight: 300 400; font-style: normal; font-display: swap; }