@BrodieOnLinux Some kind of bitmap, I believe. I am not sure whether #TrueType fonts were available at all yet.