Output font?

[ShatteredWindow]

Can anyone tell me what font Codea uses in its output window?

[dave1707]

GillSans-Light looks close. I don’t know the exact font though.

[ShatteredWindow]

Thanks!