Implemented the to_html of the manual. Refer to #177