Link to HTML documentation and a layout fix