/* Generated by tools/fetch_fonts.py — do not hand-edit.
 * One static woff2 per weight the page actually computes to, subset to
 * the glyphs it actually renders. Korean glyphs that IBM Plex Mono does
 * not carry fall through to IBM Plex Sans KR, its superfamily sibling.
 */

@font-face {
  font-family: "Hahmlet";
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url("../fonts/hahmlet-400.woff2") format("woff2");
}

@font-face {
  font-family: "Hahmlet";
  font-style: normal;
  font-weight: 700;
  font-display: swap;
  src: url("../fonts/hahmlet-700.woff2") format("woff2");
}

@font-face {
  font-family: "IBM Plex Mono";
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url("../fonts/plex-mono-400.woff2") format("woff2");
}

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

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