Completed template for html.hpp