/* src: https://fonts.googleapis.com/css2?family=Inter:wght@400;500;600;700&family=JetBrains+Mono:wght@500;700&family=Noto+Sans+SC:wght@400;500;700;900&display=swap */
@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: 'JetBrains Mono'; font-style: normal; font-weight: 500 700; font-display: swap; src: url(fonts/JetBrainsMono-500-700-normal.woff2) format('woff2'); }
@font-face { font-family: 'Noto Sans SC'; font-style: normal; font-weight: 400 900; font-display: swap; src: url(fonts/NotoSansSC-400-900-normal.woff2) format('woff2'); }