[martin_a]

This is done by the used font, in the markup it's correct.

[CornCobs]

Looks like iosevka to me. Lovely font

EDIT: I wrongly assumed at a glance because of the shape of the $. On closer look the characters are much wider than iosevka. It's jetbrains mono