The page asks the device for its own interface font first, so Apple devices render in San Francisco. */
@font-face{font-family:'JetBrains Mono';font-style:normal;font-weight:400;font-display:swap;src:url('jetbrainsmono-400.woff2') format('woff2');}
@font-face{font-family:'JetBrains Mono';font-style:normal;font-weight:500;font-display:swap;src:url('jetbrainsmono-500.woff2') format('woff2');}

/* A fallback sized to match Public Sans, so text does not jump when the real font arrives. */
@font-face{font-family:'Inter Fallback';src:local('Segoe UI'),local('Arial');size-adjust:104%;ascent-override:92%;descent-override:24%;line-gap-override:0%;}

@font-face{font-family:'Inter';font-style:normal;font-weight:400;font-display:swap;src:url('inter-400.woff2') format('woff2');}
@font-face{font-family:'Inter';font-style:normal;font-weight:500;font-display:swap;src:url('inter-500.woff2') format('woff2');}
@font-face{font-family:'Inter';font-style:normal;font-weight:600;font-display:swap;src:url('inter-600.woff2') format('woff2');}
@font-face{font-family:'Inter';font-style:normal;font-weight:700;font-display:swap;src:url('inter-700.woff2') format('woff2');}
@font-face{font-family:'Inter';font-style:normal;font-weight:800;font-display:swap;src:url('inter-800.woff2') format('woff2');}