/* Terminal fonts, bundled so they work on every device (no system install).
   From Fontsource (npm @fontsource/*), Latin subset, regular and bold; each
   font's license is in vendor/fonts/licenses/. Made by scripts/bundle-fonts.py. */
@font-face { font-family: "Anonymous Pro"; font-style: normal; font-weight: 400; font-display: block; src: url("anonymous-pro-400.woff2") format("woff2"); }
@font-face { font-family: "Anonymous Pro"; font-style: normal; font-weight: 700; font-display: block; src: url("anonymous-pro-700.woff2") format("woff2"); }
@font-face { font-family: "Atkinson Hyperlegible Mono"; font-style: normal; font-weight: 400; font-display: block; src: url("atkinson-hyperlegible-mono-400.woff2") format("woff2"); }
@font-face { font-family: "Atkinson Hyperlegible Mono"; font-style: normal; font-weight: 700; font-display: block; src: url("atkinson-hyperlegible-mono-700.woff2") format("woff2"); }
@font-face { font-family: "Azeret Mono"; font-style: normal; font-weight: 400; font-display: block; src: url("azeret-mono-400.woff2") format("woff2"); }
@font-face { font-family: "Azeret Mono"; font-style: normal; font-weight: 700; font-display: block; src: url("azeret-mono-700.woff2") format("woff2"); }
@font-face { font-family: "B612 Mono"; font-style: normal; font-weight: 400; font-display: block; src: url("b612-mono-400.woff2") format("woff2"); }
@font-face { font-family: "B612 Mono"; font-style: normal; font-weight: 700; font-display: block; src: url("b612-mono-700.woff2") format("woff2"); }
@font-face { font-family: "Cascadia Code"; font-style: normal; font-weight: 400; font-display: block; src: url("cascadia-code-400.woff2") format("woff2"); }
@font-face { font-family: "Cascadia Code"; font-style: normal; font-weight: 700; font-display: block; src: url("cascadia-code-700.woff2") format("woff2"); }
@font-face { font-family: "Chivo Mono"; font-style: normal; font-weight: 400; font-display: block; src: url("chivo-mono-400.woff2") format("woff2"); }
@font-face { font-family: "Chivo Mono"; font-style: normal; font-weight: 700; font-display: block; src: url("chivo-mono-700.woff2") format("woff2"); }
@font-face { font-family: "Commit Mono"; font-style: normal; font-weight: 400; font-display: block; src: url("commit-mono-400.woff2") format("woff2"); }
@font-face { font-family: "Commit Mono"; font-style: normal; font-weight: 700; font-display: block; src: url("commit-mono-700.woff2") format("woff2"); }
@font-face { font-family: "Courier Prime"; font-style: normal; font-weight: 400; font-display: block; src: url("courier-prime-400.woff2") format("woff2"); }
@font-face { font-family: "Courier Prime"; font-style: normal; font-weight: 700; font-display: block; src: url("courier-prime-700.woff2") format("woff2"); }
@font-face { font-family: "Cousine"; font-style: normal; font-weight: 400; font-display: block; src: url("cousine-400.woff2") format("woff2"); }
@font-face { font-family: "Cousine"; font-style: normal; font-weight: 700; font-display: block; src: url("cousine-700.woff2") format("woff2"); }
@font-face { font-family: "Cutive Mono"; font-style: normal; font-weight: 400; font-display: block; src: url("cutive-mono-400.woff2") format("woff2"); }
@font-face { font-family: "DejaVu Mono"; font-style: normal; font-weight: 400; font-display: block; src: url("dejavu-mono-400.woff2") format("woff2"); }
@font-face { font-family: "DejaVu Mono"; font-style: normal; font-weight: 700; font-display: block; src: url("dejavu-mono-700.woff2") format("woff2"); }
@font-face { font-family: "DM Mono"; font-style: normal; font-weight: 400; font-display: block; src: url("dm-mono-400.woff2") format("woff2"); }
@font-face { font-family: "DM Mono"; font-style: normal; font-weight: 700; font-display: block; src: url("dm-mono-700.woff2") format("woff2"); }
@font-face { font-family: "Fira Code"; font-style: normal; font-weight: 400; font-display: block; src: url("fira-code-400.woff2") format("woff2"); }
@font-face { font-family: "Fira Code"; font-style: normal; font-weight: 700; font-display: block; src: url("fira-code-700.woff2") format("woff2"); }
@font-face { font-family: "Fira Mono"; font-style: normal; font-weight: 400; font-display: block; src: url("fira-mono-400.woff2") format("woff2"); }
@font-face { font-family: "Fira Mono"; font-style: normal; font-weight: 700; font-display: block; src: url("fira-mono-700.woff2") format("woff2"); }
@font-face { font-family: "Fragment Mono"; font-style: normal; font-weight: 400; font-display: block; src: url("fragment-mono-400.woff2") format("woff2"); }
@font-face { font-family: "Geist Mono"; font-style: normal; font-weight: 400; font-display: block; src: url("geist-mono-400.woff2") format("woff2"); }
@font-face { font-family: "Geist Mono"; font-style: normal; font-weight: 700; font-display: block; src: url("geist-mono-700.woff2") format("woff2"); }
@font-face { font-family: "IBM Plex Mono"; font-style: normal; font-weight: 400; font-display: block; src: url("ibm-plex-mono-400.woff2") format("woff2"); }
@font-face { font-family: "IBM Plex Mono"; font-style: normal; font-weight: 700; font-display: block; src: url("ibm-plex-mono-700.woff2") format("woff2"); }
@font-face { font-family: "Inconsolata"; font-style: normal; font-weight: 400; font-display: block; src: url("inconsolata-400.woff2") format("woff2"); }
@font-face { font-family: "Inconsolata"; font-style: normal; font-weight: 700; font-display: block; src: url("inconsolata-700.woff2") format("woff2"); }
@font-face { font-family: "Intel One Mono"; font-style: normal; font-weight: 400; font-display: block; src: url("intel-one-mono-400.woff2") format("woff2"); }
@font-face { font-family: "Intel One Mono"; font-style: normal; font-weight: 700; font-display: block; src: url("intel-one-mono-700.woff2") format("woff2"); }
@font-face { font-family: "Iosevka"; font-style: normal; font-weight: 400; font-display: block; src: url("iosevka-400.woff2") format("woff2"); }
@font-face { font-family: "Iosevka"; font-style: normal; font-weight: 700; font-display: block; src: url("iosevka-700.woff2") format("woff2"); }
@font-face { font-family: "JetBrains Mono"; font-style: normal; font-weight: 400; font-display: block; src: url("jetbrains-mono-400.woff2") format("woff2"); }
@font-face { font-family: "JetBrains Mono"; font-style: normal; font-weight: 700; font-display: block; src: url("jetbrains-mono-700.woff2") format("woff2"); }
@font-face { font-family: "Kode Mono"; font-style: normal; font-weight: 400; font-display: block; src: url("kode-mono-400.woff2") format("woff2"); }
@font-face { font-family: "Kode Mono"; font-style: normal; font-weight: 700; font-display: block; src: url("kode-mono-700.woff2") format("woff2"); }
@font-face { font-family: "Lekton"; font-style: normal; font-weight: 400; font-display: block; src: url("lekton-400.woff2") format("woff2"); }
@font-face { font-family: "Lekton"; font-style: normal; font-weight: 700; font-display: block; src: url("lekton-700.woff2") format("woff2"); }
@font-face { font-family: "Lilex"; font-style: normal; font-weight: 400; font-display: block; src: url("lilex-400.woff2") format("woff2"); }
@font-face { font-family: "Lilex"; font-style: normal; font-weight: 700; font-display: block; src: url("lilex-700.woff2") format("woff2"); }
@font-face { font-family: "Maple Mono"; font-style: normal; font-weight: 400; font-display: block; src: url("maple-mono-400.woff2") format("woff2"); }
@font-face { font-family: "Maple Mono"; font-style: normal; font-weight: 700; font-display: block; src: url("maple-mono-700.woff2") format("woff2"); }
@font-face { font-family: "Martian Mono"; font-style: normal; font-weight: 400; font-display: block; src: url("martian-mono-400.woff2") format("woff2"); }
@font-face { font-family: "Martian Mono"; font-style: normal; font-weight: 700; font-display: block; src: url("martian-mono-700.woff2") format("woff2"); }
@font-face { font-family: "Monaspace Argon"; font-style: normal; font-weight: 400; font-display: block; src: url("monaspace-argon-400.woff2") format("woff2"); }
@font-face { font-family: "Monaspace Argon"; font-style: normal; font-weight: 700; font-display: block; src: url("monaspace-argon-700.woff2") format("woff2"); }
@font-face { font-family: "Monaspace Krypton"; font-style: normal; font-weight: 400; font-display: block; src: url("monaspace-krypton-400.woff2") format("woff2"); }
@font-face { font-family: "Monaspace Krypton"; font-style: normal; font-weight: 700; font-display: block; src: url("monaspace-krypton-700.woff2") format("woff2"); }
@font-face { font-family: "Monaspace Neon"; font-style: normal; font-weight: 400; font-display: block; src: url("monaspace-neon-400.woff2") format("woff2"); }
@font-face { font-family: "Monaspace Neon"; font-style: normal; font-weight: 700; font-display: block; src: url("monaspace-neon-700.woff2") format("woff2"); }
@font-face { font-family: "Monaspace Radon"; font-style: normal; font-weight: 400; font-display: block; src: url("monaspace-radon-400.woff2") format("woff2"); }
@font-face { font-family: "Monaspace Radon"; font-style: normal; font-weight: 700; font-display: block; src: url("monaspace-radon-700.woff2") format("woff2"); }
@font-face { font-family: "Monaspace Xenon"; font-style: normal; font-weight: 400; font-display: block; src: url("monaspace-xenon-400.woff2") format("woff2"); }
@font-face { font-family: "Monaspace Xenon"; font-style: normal; font-weight: 700; font-display: block; src: url("monaspace-xenon-700.woff2") format("woff2"); }
@font-face { font-family: "Mononoki"; font-style: normal; font-weight: 400; font-display: block; src: url("mononoki-400.woff2") format("woff2"); }
@font-face { font-family: "Mononoki"; font-style: normal; font-weight: 700; font-display: block; src: url("mononoki-700.woff2") format("woff2"); }
@font-face { font-family: "Nanum Gothic Coding"; font-style: normal; font-weight: 400; font-display: block; src: url("nanum-gothic-coding-400.woff2") format("woff2"); }
@font-face { font-family: "Nanum Gothic Coding"; font-style: normal; font-weight: 700; font-display: block; src: url("nanum-gothic-coding-700.woff2") format("woff2"); }
@font-face { font-family: "Noto Sans Mono"; font-style: normal; font-weight: 400; font-display: block; src: url("noto-sans-mono-400.woff2") format("woff2"); }
@font-face { font-family: "Noto Sans Mono"; font-style: normal; font-weight: 700; font-display: block; src: url("noto-sans-mono-700.woff2") format("woff2"); }
@font-face { font-family: "Overpass Mono"; font-style: normal; font-weight: 400; font-display: block; src: url("overpass-mono-400.woff2") format("woff2"); }
@font-face { font-family: "Overpass Mono"; font-style: normal; font-weight: 700; font-display: block; src: url("overpass-mono-700.woff2") format("woff2"); }
@font-face { font-family: "Oxygen Mono"; font-style: normal; font-weight: 400; font-display: block; src: url("oxygen-mono-400.woff2") format("woff2"); }
@font-face { font-family: "PT Mono"; font-style: normal; font-weight: 400; font-display: block; src: url("pt-mono-400.woff2") format("woff2"); }
@font-face { font-family: "Red Hat Mono"; font-style: normal; font-weight: 400; font-display: block; src: url("red-hat-mono-400.woff2") format("woff2"); }
@font-face { font-family: "Red Hat Mono"; font-style: normal; font-weight: 700; font-display: block; src: url("red-hat-mono-700.woff2") format("woff2"); }
@font-face { font-family: "Reddit Mono"; font-style: normal; font-weight: 400; font-display: block; src: url("reddit-mono-400.woff2") format("woff2"); }
@font-face { font-family: "Reddit Mono"; font-style: normal; font-weight: 700; font-display: block; src: url("reddit-mono-700.woff2") format("woff2"); }
@font-face { font-family: "Roboto Mono"; font-style: normal; font-weight: 400; font-display: block; src: url("roboto-mono-400.woff2") format("woff2"); }
@font-face { font-family: "Roboto Mono"; font-style: normal; font-weight: 700; font-display: block; src: url("roboto-mono-700.woff2") format("woff2"); }
@font-face { font-family: "Share Tech Mono"; font-style: normal; font-weight: 400; font-display: block; src: url("share-tech-mono-400.woff2") format("woff2"); }
@font-face { font-family: "Sometype Mono"; font-style: normal; font-weight: 400; font-display: block; src: url("sometype-mono-400.woff2") format("woff2"); }
@font-face { font-family: "Sometype Mono"; font-style: normal; font-weight: 700; font-display: block; src: url("sometype-mono-700.woff2") format("woff2"); }
@font-face { font-family: "Sono"; font-style: normal; font-weight: 400; font-display: block; src: url("sono-400.woff2") format("woff2"); }
@font-face { font-family: "Sono"; font-style: normal; font-weight: 700; font-display: block; src: url("sono-700.woff2") format("woff2"); }
@font-face { font-family: "Source Code Pro"; font-style: normal; font-weight: 400; font-display: block; src: url("source-code-pro-400.woff2") format("woff2"); }
@font-face { font-family: "Source Code Pro"; font-style: normal; font-weight: 700; font-display: block; src: url("source-code-pro-700.woff2") format("woff2"); }
@font-face { font-family: "Space Mono"; font-style: normal; font-weight: 400; font-display: block; src: url("space-mono-400.woff2") format("woff2"); }
@font-face { font-family: "Space Mono"; font-style: normal; font-weight: 700; font-display: block; src: url("space-mono-700.woff2") format("woff2"); }
@font-face { font-family: "Spline Sans Mono"; font-style: normal; font-weight: 400; font-display: block; src: url("spline-sans-mono-400.woff2") format("woff2"); }
@font-face { font-family: "Spline Sans Mono"; font-style: normal; font-weight: 700; font-display: block; src: url("spline-sans-mono-700.woff2") format("woff2"); }
@font-face { font-family: "Syne Mono"; font-style: normal; font-weight: 400; font-display: block; src: url("syne-mono-400.woff2") format("woff2"); }
@font-face { font-family: "Ubuntu Mono"; font-style: normal; font-weight: 400; font-display: block; src: url("ubuntu-mono-400.woff2") format("woff2"); }
@font-face { font-family: "Ubuntu Mono"; font-style: normal; font-weight: 700; font-display: block; src: url("ubuntu-mono-700.woff2") format("woff2"); }
@font-face { font-family: "Victor Mono"; font-style: normal; font-weight: 400; font-display: block; src: url("victor-mono-400.woff2") format("woff2"); }
@font-face { font-family: "Victor Mono"; font-style: normal; font-weight: 700; font-display: block; src: url("victor-mono-700.woff2") format("woff2"); }
@font-face { font-family: "Xanh Mono"; font-style: normal; font-weight: 400; font-display: block; src: url("xanh-mono-400.woff2") format("woff2"); }