/* Self-hosted fonts: Manrope, Unbounded, JetBrains Mono (SIL Open Font License). Lets the site look the same offline. */
@font-face { font-family: 'JetBrains Mono'; font-style: normal; font-weight: 400; font-display: swap; src: url(/static/fonts/JetBrainsMono-0.ttf) format('truetype'); }
@font-face { font-family: 'JetBrains Mono'; font-style: normal; font-weight: 500; font-display: swap; src: url(/static/fonts/JetBrainsMono-1.ttf) format('truetype'); }
@font-face { font-family: 'JetBrains Mono'; font-style: normal; font-weight: 700; font-display: swap; src: url(/static/fonts/JetBrainsMono-2.ttf) format('truetype'); }
@font-face { font-family: 'Manrope'; font-style: normal; font-weight: 400; font-display: swap; src: url(/static/fonts/Manrope-3.ttf) format('truetype'); }
@font-face { font-family: 'Manrope'; font-style: normal; font-weight: 500; font-display: swap; src: url(/static/fonts/Manrope-4.ttf) format('truetype'); }
@font-face { font-family: 'Manrope'; font-style: normal; font-weight: 600; font-display: swap; src: url(/static/fonts/Manrope-5.ttf) format('truetype'); }
@font-face { font-family: 'Manrope'; font-style: normal; font-weight: 700; font-display: swap; src: url(/static/fonts/Manrope-6.ttf) format('truetype'); }
@font-face { font-family: 'Manrope'; font-style: normal; font-weight: 800; font-display: swap; src: url(/static/fonts/Manrope-7.ttf) format('truetype'); }
@font-face { font-family: 'Unbounded'; font-style: normal; font-weight: 400; font-display: swap; src: url(/static/fonts/Unbounded-8.ttf) format('truetype'); }
@font-face { font-family: 'Unbounded'; font-style: normal; font-weight: 500; font-display: swap; src: url(/static/fonts/Unbounded-9.ttf) format('truetype'); }
@font-face { font-family: 'Unbounded'; font-style: normal; font-weight: 600; font-display: swap; src: url(/static/fonts/Unbounded-10.ttf) format('truetype'); }
@font-face { font-family: 'Unbounded'; font-style: normal; font-weight: 700; font-display: swap; src: url(/static/fonts/Unbounded-11.ttf) format('truetype'); }
@font-face { font-family: 'Unbounded'; font-style: normal; font-weight: 800; font-display: swap; src: url(/static/fonts/Unbounded-12.ttf) format('truetype'); }