Reorganized and updated the HTML documentation.