updated html.hpp