/* Self-hosted fonts (no Google Fonts needed, so the site looks the same in mainland China).
   Subsets made from Google's open-licence (OFL) fonts; see webfonts/ for the files.
   Chinese fonts contain the ~3,900 most common characters plus everything used on the site;
   any rarer character quietly falls back to the next font in the stack. */
@font-face { font-family: "Instrument Serif"; font-style: normal; font-weight: 400; font-display: swap; src: url("webfonts/InstrumentSerif-Regular.woff2") format("woff2"); }
@font-face { font-family: "Instrument Serif"; font-style: italic; font-weight: 400; font-display: swap; src: url("webfonts/InstrumentSerif-Italic.woff2") format("woff2"); }
@font-face { font-family: "Hanken Grotesk"; font-style: normal; font-weight: 100 900; font-display: swap; src: url("webfonts/HankenGrotesk-var.woff2") format("woff2"); }
@font-face { font-family: "Cormorant Garamond"; font-style: italic; font-weight: 300 700; font-display: swap; src: url("webfonts/CormorantGaramond-Italic-var.woff2") format("woff2"); }
@font-face { font-family: "Noto Serif SC"; font-style: normal; font-weight: 400 500; font-display: swap; src: url("webfonts/NotoSerifSC-400.woff2") format("woff2"); }
@font-face { font-family: "Ma Shan Zheng"; font-style: normal; font-weight: 400; font-display: swap; src: url("webfonts/MaShanZheng.woff2") format("woff2"); }