/* Measured Inter/Arial widths and font boxes: evidence/font-metrics.json. Final Inter appearance is unchanged. */
@font-face{font-family:"Inter Fallback";src:local("Arial");font-weight:100 599;size-adjust:107%;ascent-override:90.65%;descent-override:22.43%;line-gap-override:0%}
@font-face{font-family:"Inter Fallback";src:local("Arial Bold");font-weight:600 900;size-adjust:107%;ascent-override:90.65%;descent-override:22.43%;line-gap-override:0%}
html:root,html .v13-app{font-family:Inter,"Inter Fallback",Arial,sans-serif}