/* JetBrains Mono — reduced from 9 faces to 4 (only weights actually used
 * by the app). Weights 100/200/300/800 and italic were never referenced,
 * just shipped. Clash Display and Satoshi removed entirely — unused. */
@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; }