/* 서체 — 로컬 사본, 가족당 가변 폰트 한 파일 (scripts/fetch_fonts.py 가 만든다).
   한글은 KS X 1001 2,350자 + 화면에 실제로 쓰는 글자만 남겼다. 전체 11,172자를 다 넣으면
   가족당 수 MB 다. 드문 글자는 시스템 서체로 그 글자만 떨어진다 — 화면이 깨지지는 않는다. */
@font-face { font-family: "Noto Sans KR"; font-style: normal; font-weight: 100 900; font-display: swap;
  src: url(/static/fonts/NotoSansKR.woff2) format("woff2"); }
@font-face { font-family: "Noto Serif KR"; font-style: normal; font-weight: 100 900; font-display: swap;
  src: url(/static/fonts/NotoSerifKR.woff2) format("woff2"); }
@font-face { font-family: "Inter"; font-style: normal; font-weight: 100 900; font-display: swap;
  src: url(/static/fonts/Inter.woff2) format("woff2"); }
@font-face { font-family: "JetBrains Mono"; font-style: normal; font-weight: 100 900; font-display: swap;
  src: url(/static/fonts/JetBrainsMono.woff2) format("woff2"); }