@font-face { font-family: "JetBrainsMono"; font-style: normal; font-weight: 100; font-display: swap; src: url("JetBrainsMono-Thin.woff2") format("woff2"); }
@font-face { font-family: "JetBrainsMono"; font-style: italic; font-weight: 100; font-display: swap; src: url("JetBrainsMono-ThinItalic.woff2") format("woff2"); }
@font-face { font-family: "JetBrainsMono"; font-style: normal; font-weight: 200; font-display: swap; src: url("JetBrainsMono-ExtraLight.woff2") format("woff2"); }
@font-face { font-family: "JetBrainsMono"; font-style: italic; font-weight: 200; font-display: swap; src: url("JetBrainsMono-ExtraLightItalic.woff2") format("woff2"); }
@font-face { font-family: "JetBrainsMono"; font-style: normal; font-weight: 300; font-display: swap; src: url("JetBrainsMono-Light.woff2") format("woff2"); }
@font-face { font-family: "JetBrainsMono"; font-style: italic; font-weight: 300; font-display: swap; src: url("JetBrainsMono-LightItalic.woff2") format("woff2"); }
@font-face { font-family: "JetBrainsMono"; font-style: normal; font-weight: 400; font-display: swap; src: url("JetBrainsMono-Regular.woff2") format("woff2"); }
@font-face { font-family: "JetBrainsMono"; font-style: italic; font-weight: 400; font-display: swap; src: url("JetBrainsMono-Italic.woff2") format("woff2"); }
@font-face { font-family: "JetBrainsMono"; font-style: normal; font-weight: 500; font-display: swap; src: url("JetBrainsMono-Medium.woff2") format("woff2"); }
@font-face { font-family: "JetBrainsMono"; font-style: italic; font-weight: 500; font-display: swap; src: url("JetBrainsMono-MediumItalic.woff2") format("woff2"); }
@font-face { font-family: "JetBrainsMono"; font-style: normal; font-weight: 600; font-display: swap; src: url("JetBrainsMono-SemiBold.woff2") format("woff2"); }
@font-face { font-family: "JetBrainsMono"; font-style: italic; font-weight: 600; font-display: swap; src: url("JetBrainsMono-SemiBoldItalic.woff2") format("woff2"); }
@font-face { font-family: "JetBrainsMono"; font-style: normal; font-weight: 700; font-display: swap; src: url("JetBrainsMono-Bold.woff2") format("woff2"); }
@font-face { font-family: "JetBrainsMono"; font-style: italic; font-weight: 700; font-display: swap; src: url("JetBrainsMono-BoldItalic.woff2") format("woff2"); }
@font-face { font-family: "JetBrainsMono"; font-style: normal; font-weight: 800; font-display: swap; src: url("JetBrainsMono-ExtraBold.woff2") format("woff2"); }
@font-face { font-family: "JetBrainsMono"; font-style: italic; font-weight: 800; font-display: swap; src: url("JetBrainsMono-ExtraBoldItalic.woff2") format("woff2"); }