It is rather hidden but here are the formatting options: http://news.ycombinator.com/formatdoc