/* Bundled fonts (SIL Open Font License, see LICENSE.txt) */
@font-face { font-family: "Inter"; font-style: normal; font-weight: 100 900; font-display: swap; src: url("inter.woff2") format("woff2"); }
@font-face { font-family: "JetBrains Mono"; font-style: normal; font-weight: 100 800; font-display: swap; src: url("jetbrains-mono.woff2") format("woff2"); }