Thread:PaperStar/@comment-27624831-20171028132023/@comment-33556382-20171028144143

And a list of the fonts can be found on AJCW's guide to coding