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

@font-face {
  font-family: "M PLUS 2";
  src: url("../fonts/m-plus-2.woff2") format("woff2");
  font-weight: 100 900;
  font-style: normal;
  font-display: swap;
}

@font-face {
  font-family: "Space Grotesk";
  src: url("../fonts/space-grotesk.woff2") format("woff2");
  font-weight: 100 900;
  font-style: normal;
  font-display: swap;
}

@font-face {
  font-family: "JetBrains Mono";
  src: url("../fonts/jetbrains-mono.woff2") format("woff2");
  font-weight: 100 900;
  font-style: normal;
  font-display: swap;
}