That's just the font.
It may be the font, but the default font choice of the interface is determined by the discord team. Web-based interfaces (which is what discord is) can define a different font for specific characters via CSS. It's an opinionated request, though I think it's a bit too small for my personal tastes too.
Accedi per aggiungere un commento.