Does anyone else think the font is significantly wider, especially the Os? Compared to math.stackexchange.com which seems to have our old font, I feel like our titles are a lot wider than they were before.