/* Noto Serif KR, subset to the Korean text this site renders.
   Generated by scripts/build-cjk-fonts.py. Do not edit. */
@font-face {
  font-family: 'Noto Serif KR';
  font-style: normal;
  font-display: swap;
  font-weight: 400 600;
  src: url(/fonts/noto-serif-kr-subset.woff2) format('woff2');
}