Comment by fisian

off topic: What's the font this website uses for the code? The font ligatures seem nice, but I also would have to get used to reading code like that.