He used font BBCode: You can click the Font Family icon in the editor, or enter any known font family manually. That makes it look like this: You can click the Font Family icon in the editor, or enter any known font family manually.
This is the old Comic Sans font - not in the list, but...