This was bugging me too, they are trying to but it's probably only working on OSX machines since they're using {font-family:'menlo'} without a fallback, so if the font is not available the code is rendered using Times New Roman instead, at least on Chrome.
