/* Xiaolai Mono SC — subset to chars actually used on this site (~366KB, single file) */
@font-face {
  font-family: 'Xiaolai Mono SC';
  src: url('/fonts/xiaolai-subset.woff2') format('woff2');
  font-weight: 400;
  font-style: normal;
  font-display: swap;
}