Markup ASCII text with correct typography for HTML
