No, I made them specifically for this example. You’re welcome to cut them out for your own use - the font used for it is Pixel Sans.
