/* GENERATED by code/book/build/build_book.py - do not edit. font-display: block (contract §5). */
@font-face{font-family:"JetBrains Mono";src:url("fonts/JetBrainsMono-VF.woff2") format("woff2");font-weight:100 800;font-style:normal;font-display:block}
@font-face{font-family:"Space Grotesk";src:url("fonts/SpaceGrotesk-VF.woff2") format("woff2");font-weight:300 700;font-style:normal;font-display:block}
@font-face{font-family:"Noto Sans SC";src:url("fonts/NotoSansSC-VF.woff2") format("woff2");font-weight:100 900;font-style:normal;font-display:block}