/* Self-hosted (SIL Open Font License), so no visitor data goes to Google */
@font-face { font-family: 'Instrument Sans'; font-style: normal; font-weight: 400 700; font-display: swap; src: url(/fonts/InstrumentSans.woff2) format('woff2'); }
@font-face { font-family: 'JetBrains Mono'; font-style: normal; font-weight: 400 600; font-display: swap; src: url(/fonts/JetBrainsMono.woff2) format('woff2'); }