/* The site's three faces, served from codepit.app itself (no font requests to other hosts). Files from Fontsource,
   latin subset; licences next to them (SIL Open Font License 1.1).
   Codepit Pixel is the app's own copy of Pixelify Sans with its 5 and 2 redrawn and its f-ligatures removed (scripts/font-five.py, font-two.py, font-ligatures.py), one variable file. deploy.sh links this file instead of Google Fonts. */
@font-face { font-family: 'Geist'; font-style: normal; font-weight: 400; font-display: swap; src: url(geist-sans-latin-400-normal.woff2) format('woff2'); }
@font-face { font-family: 'Geist'; font-style: normal; font-weight: 500; font-display: swap; src: url(geist-sans-latin-500-normal.woff2) format('woff2'); }
@font-face { font-family: 'Geist'; font-style: normal; font-weight: 600; font-display: swap; src: url(geist-sans-latin-600-normal.woff2) format('woff2'); }
@font-face { font-family: 'Geist'; font-style: normal; font-weight: 700; font-display: swap; src: url(geist-sans-latin-700-normal.woff2) format('woff2'); }
@font-face { font-family: 'Geist Mono'; font-style: normal; font-weight: 400; font-display: swap; src: url(geist-mono-latin-400-normal.woff2) format('woff2'); }
@font-face { font-family: 'Geist Mono'; font-style: normal; font-weight: 500; font-display: swap; src: url(geist-mono-latin-500-normal.woff2) format('woff2'); }
@font-face { font-family: 'Codepit Pixel'; font-style: normal; font-weight: 400 700; font-display: swap; src: url(codepit-pixel-latin-wght-normal.woff2) format('woff2'); }