/* Fonts are served from this server (no Google Fonts). Inter and JetBrains Mono: SIL Open Font License 1.1 */
@font-face{font-family:'Inter';font-style:normal;font-weight:400;font-display:swap;src:url('fonts/inter-400.woff') format('woff')}
@font-face{font-family:'Inter';font-style:normal;font-weight:500;font-display:swap;src:url('fonts/inter-500.woff') format('woff')}
@font-face{font-family:'Inter';font-style:normal;font-weight:600;font-display:swap;src:url('fonts/inter-600.woff') format('woff')}
@font-face{font-family:'Inter';font-style:normal;font-weight:700;font-display:swap;src:url('fonts/inter-700.woff') format('woff')}
@font-face{font-family:'Inter';font-style:normal;font-weight:800;font-display:swap;src:url('fonts/inter-800.woff') format('woff')}
@font-face{font-family:'JetBrains Mono';font-style:normal;font-weight:400 550;font-display:swap;src:url('fonts/jetbrains-mono-400.woff') format('woff')}
@font-face{font-family:'JetBrains Mono';font-style:normal;font-weight:551 800;font-display:swap;src:url('fonts/jetbrains-mono-700.woff') format('woff')}