HTML output for Dox documentation generator