/* generated by tools/fonts.py */
@font-face { font-family: "IBM Plex Mono"; src: url("ibm-plex-mono-400.woff2") format("woff2"); font-weight: 400; font-display: swap; }
@font-face { font-family: "IBM Plex Mono"; src: url("ibm-plex-mono-500.woff2") format("woff2"); font-weight: 500; font-display: swap; }
@font-face { font-family: "Google Sans Code"; src: url("google-sans-code.woff2") format("woff2"); font-weight: 300 800; font-display: swap; }
@font-face { font-family: "Archivo"; src: url("archivo.woff2") format("woff2"); font-weight: 100 900; font-stretch: 62% 125%; font-display: swap; }
@font-face { font-family: "IBM Plex Sans JP"; src: url("ibm-plex-sans-jp-400.woff2") format("woff2"); font-weight: 400; font-display: swap; }
@font-face { font-family: "IBM Plex Sans JP"; src: url("ibm-plex-sans-jp-500.woff2") format("woff2"); font-weight: 500; font-display: swap; }
@font-face { font-family: "IBM Plex Sans JP"; src: url("ibm-plex-sans-jp-700.woff2") format("woff2"); font-weight: 700; font-display: swap; }
@font-face { font-family: "Noto Sans JP"; src: url("noto-sans-jp.woff2") format("woff2"); font-weight: 100 900; font-display: swap; }