Some styling fixes in HTML doc generator. Also accounts for link-outs in comments now.