The font used here was blatantly plagiarised from NeXTStep, although I'm not sure what the actual font is. It was painstakingly converted into a TTF font using FontStruct based on all the screenshots of NeXTStep I could find online. Unfortunately, browsers have not evolved to display the font in a pixel-perfect manner in some places - on my end most of it's okay, save for the occasional title being on a half-pixel or something. Not much I can do to fix it. Go contribute to Servo or something?