/* 自動生成 — tools/subset_fonts.py が作る。直接編集しない。
   ページに出てくる文字だけを含む woff2 を自己ホストする。
   本文を書き換えたら再生成すること。 */

@font-face {
  font-family: "Noto Sans JP";
  src: url("../fonts/noto-sans-jp.woff2") format("woff2");
  font-weight: 100 900;
  font-style: normal;
  font-display: swap;
}

@font-face {
  font-family: "IBM Plex Sans";
  src: url("../fonts/ibm-plex-sans.woff2") format("woff2");
  font-weight: 100 900;
  font-style: normal;
  font-display: swap;
}