@font-face{font-family:'Jersey 10';src:url(jersey-10.woff2) format('woff2');font-display:swap}
@font-face{font-family:'IBM Plex Mono';font-weight:400;src:url(ibm-plex-mono-400.woff2) format('woff2');font-display:swap}
@font-face{font-family:'IBM Plex Mono';font-weight:600;src:url(ibm-plex-mono-600.woff2) format('woff2');font-display:swap}
/* A stand-in as wide as Jersey 10, so the layout doesn't jump when the real font arrives. */
@font-face{font-family:'Jersey Fallback';src:local('Courier New'),local('Liberation Mono'),local('DejaVu Sans Mono'),local('Droid Sans Mono'),local('Roboto Mono');size-adjust:56.7%}