Ported HTML prototype.