/* 由 scripts/subset-font.py 生成；删掉这个文件即回到系统字体 */
@font-face {
  font-family: 'ArkPixel12';
  src: url('/fonts/ark-pixel-12.woff2') format('woff2');
  font-display: block;
}