@font-face{font-family:"Hochstadt Serif";src:local("Hochstadt Serif"),local("Hochstadt-Serif"),url("Hochstadt-Serif.woff2") format("woff2");font-weight:400;font-style:normal}