@Jaap It could depend on browser settings. With Firefox default settings, I have a font in code blocks where < and - have a really shitty alignment (the < seems to be too high and the - too low). If I change Firefox's settings and don't allow websites their own fonts, it looks fine. So, SO uses their own font.