/* src: https://fonts.googleapis.com/css2?family=Instrument+Serif:ital@0;1&family=Inter:wght@400;500;600;700&family=Noto+Serif+SC:wght@500;900&family=JetBrains+Mono:wght@400;500&display=swap */
@font-face { font-family: 'Instrument Serif'; font-style: italic; font-weight: 400; font-display: swap; src: url(fonts/InstrumentSerif-400-italic.woff2) format('woff2'); }
@font-face { font-family: 'Instrument Serif'; font-style: normal; font-weight: 400; font-display: swap; src: url(fonts/InstrumentSerif-400-normal.woff2) format('woff2'); }
@font-face { font-family: 'Inter'; font-style: normal; font-weight: 400 700; font-display: swap; src: url(fonts/Inter-400-700-normal.woff2) format('woff2'); }
@font-face { font-family: 'Noto Serif SC'; font-style: normal; font-weight: 500 900; font-display: swap; src: url(fonts/NotoSerifSC-500-900-normal.woff2) format('woff2'); }
@font-face { font-family: 'JetBrains Mono'; font-style: normal; font-weight: 400 500; font-display: swap; src: url(fonts/JetBrainsMono-400-500-normal.woff2) format('woff2'); }