/* UI-Schriften der Editoren, selbst gehostet (build_ui_fonts.py). Lizenz: OFL, s. OFL.txt je Ordner. */
@font-face{font-family:'Archivo';font-style:normal;font-weight:400 900;font-display:swap;src:url('archivo/archivo.woff2') format('woff2')}
@font-face{font-family:'Hanken Grotesk';font-style:normal;font-weight:400 700;font-display:swap;src:url('hanken-grotesk/hanken-grotesk.woff2') format('woff2')}
@font-face{font-family:'JetBrains Mono';font-style:normal;font-weight:400 700;font-display:swap;src:url('jetbrains-mono/jetbrains-mono.woff2') format('woff2')}