changed documentation to HTML format