@font-face{font-family:__teXFont_4a6c82;src:url(/_next/static/media/b165141090b17646-s.p.otf) format("opentype");font-display:swap}@font-face{font-family:__teXFont_Fallback_4a6c82;src:local("Arial");ascent-override:103.98%;descent-override:28.37%;line-gap-override:0.00%;size-adjust:108.19%}.__className_4a6c82{font-family:__teXFont_4a6c82,__teXFont_Fallback_4a6c82}