/* JetBrains Mono */
@font-face { font-family: 'JetBrains Mono'; src: url('/static/fonts/jet-brains-mono-100.woff2') format('woff2'); font-weight: 100; font-display: swap; font-style: normal; }
@font-face { font-family: 'JetBrains Mono'; src: url('/static/fonts/jet-brains-mono-200.woff2') format('woff2'); font-weight: 200; font-display: swap; font-style: normal; }
@font-face { font-family: 'JetBrains Mono'; src: url('/static/fonts/jet-brains-mono-300.woff2') format('woff2'); font-weight: 300; font-display: swap; font-style: normal; }
@font-face { font-family: 'JetBrains Mono'; src: url('/static/fonts/jet-brains-mono-400.woff2') format('woff2'); font-weight: 400; font-display: swap; font-style: normal; }
@font-face { font-family: 'JetBrains Mono'; src: url('/static/fonts/jet-brains-mono-500.woff2') format('woff2'); font-weight: 500; font-display: swap; font-style: normal; }
@font-face { font-family: 'JetBrains Mono'; src: url('/static/fonts/jet-brains-mono-600.woff2') format('woff2'); font-weight: 600; font-display: swap; font-style: normal; }
@font-face { font-family: 'JetBrains Mono'; src: url('/static/fonts/jet-brains-mono-700.woff2') format('woff2'); font-weight: 700; font-display: swap; font-style: normal; }
@font-face { font-family: 'JetBrains Mono'; src: url('/static/fonts/jet-brains-mono-800.woff2') format('woff2'); font-weight: 800; font-display: swap; font-style: normal; }
@font-face { font-family: 'JetBrains Mono'; src: url('/static/fonts/jet-brains-mono-italic.woff2') format('woff2'); font-weight: 100 800; font-display: swap; font-style: italic; }