What font is it that they are using for these demos? They really stand out and could come in handy sometimes.