you can change the font, but when I tried that, the text still looked very different from the same font at the same text size in, e.g., Terminal.app.