/* The site's four font files. Linked (not inlined) from every page with the same address, so a page transition keeps
   these rules instead of re-creating them, which made text flash to the fallback font. */
@font-face{font-family:Inter;font-weight:400;font-display:swap;src:url('/fonts/inter-v20-latin-regular.woff2') format('woff2')}
@font-face{font-family:Inter;font-weight:500;font-display:swap;src:url('/fonts/inter-v20-latin-500.woff2') format('woff2')}
@font-face{font-family:Inter;font-weight:600;font-display:swap;src:url('/fonts/inter-v20-latin-600.woff2') format('woff2')}
@font-face{font-family:'Fira Mono';font-weight:400;font-display:swap;src:url('/fonts/fira-mono-v16-latin-regular.woff2') format('woff2')}
/* Until Inter arrives (a refresh on a phone) the text uses Arial resized and re-spaced to Inter's metrics, so when the real font
   swaps in the lines keep their height and width and nothing on the page jumps. */
@font-face{font-family:'Inter Fallback';src:local('Arial'),local('ArialMT'),local('Helvetica');size-adjust:106.3%;ascent-override:90.2%;descent-override:22.5%;line-gap-override:0%}
@font-face{font-family:'Fira Mono Fallback';src:local('Menlo'),local('Courier New'),local('Courier');size-adjust:100%;ascent-override:88.7%;descent-override:30%;line-gap-override:0%}