/* ============================================================
   Schriften — lokal, auf die benutzten Zeichen zusammengeschnitten.
   Erzeugt von tools/fonts.py, nicht von Hand bearbeiten.
   ============================================================ */

@font-face {
  font-family: 'Ma Shan Zheng';
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url('../fonts/MaShanZheng-400.woff2') format('woff2');
}
@font-face {
  font-family: 'Noto Serif SC';
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url('../fonts/NotoSerifSC-400.woff2') format('woff2');
}
@font-face {
  font-family: 'Noto Serif SC';
  font-style: normal;
  font-weight: 900;
  font-display: swap;
  src: url('../fonts/NotoSerifSC-900.woff2') format('woff2');
}